diff options
| author | Bernhard Schmidt <berni@debian.org> | 2020-10-20 19:17:07 +0200 |
|---|---|---|
| committer | Bernhard Schmidt <berni@debian.org> | 2020-10-20 19:17:07 +0200 |
| commit | 63934be0e9a494086d103bc3ba43c444b5460b5b (patch) | |
| tree | e2b5876072df6d56023d21a66379544e2bef9d5f /doc/Makefile.in | |
| parent | 4ca7910f8fbd80a28780cff34d27b481ae882f67 (diff) | |
| parent | 80285c31e83a8e233016e227a393543d508194eb (diff) | |
Update upstream source from tag 'upstream/2.5_rc3'
Update to upstream version '2.5~rc3'
with Debian dir 654a857be97a3895ea7ff814fea7c3f9f80e8794
Diffstat (limited to 'doc/Makefile.in')
0 files changed, 0 insertions, 0 deletions