diff options
author | Junio C Hamano <gitster@pobox.com> | 2010-09-03 09:43:44 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2010-09-03 09:43:44 -0700 |
commit | f9c8e7c8f134597f34315cb1b5fcd4598c3453ca (patch) | |
tree | ae819914f3309e0e74dae49bc87be572f083cb0b /branch.c | |
parent | Merge branch 'cb/maint-mergetool-no-tty' (diff) | |
parent | docs: fix Makefile dependency for user manual (diff) | |
download | tgif-f9c8e7c8f134597f34315cb1b5fcd4598c3453ca.tar.xz |
Merge branch 'jn/maint-doc-user-manual-html-doctype'
* jn/maint-doc-user-manual-html-doctype:
docs: fix Makefile dependency for user manual
Documentation: set a !DOCTYPE for user manual
Diffstat (limited to 'branch.c')
0 files changed, 0 insertions, 0 deletions