Arnout Engelen 91099b08ae git: make manual reproducible ... This makes the git HTML manual reproducible. It also removes the `git.info` manual, since this one is basically entirely broken anyway. This likely happened when we migrated from asciidoc to asciidoctor in #102020. I don't suggest going back to asciidoc: that would re-introduce a python2 dependency and another reproducibility issue with the HTML docs. Co-Authored-By: Dmitry Kalinkin <dmitry.kalinkin@gmail.com>		2020-12-01 08:33:58 +01:00
..
default.nix	git: make manual reproducible	2020-12-01 08:33:58 +01:00
docbook2texi.patch
git-send-email-honor-PATH.patch
git-sh-i18n.patch
installCheck-path.patch
ssh-path.patch
update.sh	git: Fix the update.sh script and use HTTPS	2020-04-21 14:30:11 +02:00