diff options
author | Junio C Hamano <junkio@cox.net> | 2006-01-06 19:18:12 -0800 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-01-06 19:18:12 -0800 |
commit | 7d0e65b892ff0adf2ba6626bbe7cdfc723a8b702 (patch) | |
tree | 592a0e145582b85dbb116dfb3748487b66cff002 /debian/git-doc.files | |
parent | unpack-objects: default to quiet if stderr is not a tty. (diff) | |
download | tgif-7d0e65b892ff0adf2ba6626bbe7cdfc723a8b702.tar.xz |
Retire debian/ directory.
The official maintainer is keeping up-to-date quite well, and now
the older Debian is supported with backports.org, there is no reason
for me to keep debian/ directory around here.
I have not been building and publishing debs since 1.0.4 anyway.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'debian/git-doc.files')
-rw-r--r-- | debian/git-doc.files | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/git-doc.files b/debian/git-doc.files deleted file mode 100644 index 0daf545ad5..0000000000 --- a/debian/git-doc.files +++ /dev/null @@ -1,4 +0,0 @@ -/usr/share/doc/git-core/*.txt -/usr/share/doc/git-core/*.html -/usr/share/doc/git-core/*/*.html -/usr/share/doc/git-core/*/*.txt |