diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2019-01-11 19:49:30 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2019-01-11 19:49:30 -0700 |
commit | df8063712cda636af284e8527ee2a4b8c110ab40 (patch) | |
tree | 46668ca31f3be25290bb8121987fa44d8b835146 /debian/dgit.install | |
parent | bed7c91d1969ccf5093e978c2ed7a1ffaa5fed4a (diff) | |
parent | 96a6bde132c9d9c7e0baa1dd9add0696e96d6802 (diff) |
Merge tag 'debian/8.3' into stretch-bpo
dgit release 8.3 for unstable (sid) [dgit]
[dgit distro=debian]
# gpg: Signature made Sun 06 Jan 2019 05:15:52 PM MST
# gpg: using RSA key 559AE46C2D6B6D3265E7CBA1E3E3392348B50D39
# gpg: Can't check signature: No public key
Diffstat (limited to 'debian/dgit.install')
-rw-r--r-- | debian/dgit.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/dgit.install b/debian/dgit.install index 622e876..a1a6eed 100644 --- a/debian/dgit.install +++ b/debian/dgit.install @@ -1,4 +1,4 @@ usr/share/locale/*/LC_MESSAGES/dgit.mo -# usr/share/man/*/man*/dgit*.[1-9] -# ^ translated manpages. This has to be un-commented when they appear. +usr/share/man/*/man*/dgit*.[1-9] +# ^ translated manpages. This has to be commented if they should go away. |