diff options
| author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 14:47:55 +0000 |
|---|---|---|
| committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-07 14:47:55 +0000 |
| commit | f04f772d4c2791a1bc0e36fe8df2dc8d62ea8378 (patch) | |
| tree | 6601becfb9eccb5e3361f1f802e96ea7839bfca8 /debian/git-doc.doc-base.git-tools | |
| parent | Adding upstream version 1:2.39.2. (diff) | |
| download | git-f04f772d4c2791a1bc0e36fe8df2dc8d62ea8378.tar.xz git-f04f772d4c2791a1bc0e36fe8df2dc8d62ea8378.zip | |
Adding debian version 1:2.39.2-1.1.debian/1%2.39.2-1.1debian
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'debian/git-doc.doc-base.git-tools')
| -rw-r--r-- | debian/git-doc.doc-base.git-tools | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/debian/git-doc.doc-base.git-tools b/debian/git-doc.doc-base.git-tools new file mode 100644 index 0000000..1199fa0 --- /dev/null +++ b/debian/git-doc.doc-base.git-tools @@ -0,0 +1,13 @@ +Document: git-tools +Title: A short git tools survey +Author: Marco Costalba +Abstract: A brief and outdated survey of useful git tools, + including third-party and external projects. +Section: File Management + +Format: Text +Files: /usr/share/doc/git-doc/git-tools.txt + +Format: HTML +Index: /usr/share/doc/git-doc/git-tools.html +Files: /usr/share/doc/git-doc/git-tools.html |