diff options
author | Didier Raboud <odyx@debian.org> | 2018-12-01 01:39:17 +0100 |
---|---|---|
committer | Didier Raboud <odyx@debian.org> | 2018-11-30 23:45:20 +0100 |
commit | 82ee55983110c5975405c017fe719e232e2ce8b9 (patch) | |
tree | 9a3b0f3d00e2e31d20f052da26b97d630d702ff4 /NEWS | |
parent | 4e8b7eeb3ab66c330e4ffe13535eeb348fdc5fdd (diff) |
Mirror doc/developer/cleanwarnings.pl from upstream
Taken from upstream's master; it is needed to rebuild the doc PDFs from source
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions