diff options
| author | Noémi Ványi <kvch@users.noreply.github.com> | 2021-02-24 20:27:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-24 20:27:26 +0100 |
| commit | bc590cbc479fc10c98fefac159cfcacdf3fc75c1 (patch) | |
| tree | fdaeb721ffc7c6bb55858790f211546bbe935323 /docs/conf.py | |
| parent | 606aa79e4949cd29d207443a3f82c368fbae2faf (diff) | |
| parent | 7c1847d5f2f78392d4e7f6b4892d732f6520b3dc (diff) | |
Merge pull request #2592 from dalf/update-external-bangs
[mod] add utils/fetch_external_bangs.py
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions