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-core.doc-base | |
| 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-core.doc-base')
| -rw-r--r-- | debian/git-core.doc-base | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/debian/git-core.doc-base b/debian/git-core.doc-base deleted file mode 100644 index eff1a9523e..0000000000 --- a/debian/git-core.doc-base +++ /dev/null @@ -1,13 +0,0 @@ -Document: git-core -Title: git reference -Abstract: This manual describes git -Section: Devel - -Format: HTML -Index: /usr/share/doc/git-core/git.html -Files: /usr/share/doc/git-core/*.html - /usr/share/doc/git-core/*/*.html - -Format: text -Files: /usr/share/doc/git-core/*.txt - /usr/share/doc/git-core/*/*.txt |