diff options
| author | Bernhard Schmidt <berni@debian.org> | 2020-09-30 21:10:23 +0200 |
|---|---|---|
| committer | Bernhard Schmidt <berni@debian.org> | 2020-09-30 21:10:23 +0200 |
| commit | 5bac5f7608a14e0989e95db1a1da2e65d9322127 (patch) | |
| tree | ca73db37b5a1ac3f8af7ce43ebcdd6bf9ce1f920 /doc/Makefile.in | |
| parent | 457cf61d5ab5ff5643e0b9d58a790f3ed2bdcec9 (diff) | |
Downgrade debhelper-compat to 12 for easier backports
Diffstat (limited to 'doc/Makefile.in')
0 files changed, 0 insertions, 0 deletions