diff options
author | Sean Whitton <spwhitton@spwhitton.name> | 2018-10-10 08:40:06 -0700 |
---|---|---|
committer | Sean Whitton <spwhitton@spwhitton.name> | 2018-10-10 08:40:06 -0700 |
commit | bd5ec77ecd3c3377d7473ae055b88325aef3696b (patch) | |
tree | d6281cf838da6b8c5e218a1e7615d682c1a4dc89 /debian/dgit.install | |
parent | 11a5cbb0e28d391324948cec33b1d40499f16d3b (diff) | |
parent | fa303f348f6fe529cafdc5b91f9a15bddefd2b56 (diff) |
Merge tag 'debian/7.0' into stretch-bpo
dgit release 7.0 for unstable (sid) [dgit]
[dgit distro=debian]
# gpg: Signature made Thu 04 Oct 2018 12:36:14 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, 4 insertions, 0 deletions
diff --git a/debian/dgit.install b/debian/dgit.install new file mode 100644 index 0000000..622e876 --- /dev/null +++ b/debian/dgit.install @@ -0,0 +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. |