diff options
author | gregor herrmann <gregoa@debian.org> | 2020-10-31 01:31:24 +0100 |
---|---|---|
committer | gregor herrmann <gregoa@debian.org> | 2020-10-31 01:31:24 +0100 |
commit | 9f48880a4108cea9e816f185d4462859b06725a8 (patch) | |
tree | 8034b20efccdfd78317ecd92e0581f818dd14237 | |
parent | 0e8f292937f3526b3e5a978f25d2431dd131ea2c (diff) |
Rename debian/NEWS.Debian to debian/NEWS
(so that it gets installed).
-rw-r--r-- | debian/NEWS (renamed from debian/NEWS.Debian) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/debian/NEWS.Debian b/debian/NEWS index 02f31e2..02f31e2 100644 --- a/debian/NEWS.Debian +++ b/debian/NEWS |