diff options
| author | Paul B Mahol <[email protected]> | 2020-08-11 12:31:25 +0200 |
|---|---|---|
| committer | Paul B Mahol <[email protected]> | 2020-08-11 12:34:41 +0200 |
| commit | f7c0ad2bae87b183e905a1fdd1adcb2fb587a372 (patch) | |
| tree | 85cd976a0d7e25aaa00d6c733a4bd875b62a28b7 /tools/python/convert_header.py | |
| parent | 4dbb75c437117285cfa195c437a8a1ee898e9293 (diff) | |
doc/general: mention AGM codecs
Diffstat (limited to 'tools/python/convert_header.py')
0 files changed, 0 insertions, 0 deletions