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 /gitweb/static/js/javascript-detection.js | |
| parent | Merge branch 'cb/maint-mergetool-no-tty' (diff) | |
| parent | docs: fix Makefile dependency for user manual (diff) | |
| download | git-f9c8e7c8f134597f34315cb1b5fcd4598c3453ca.tar.gz git-f9c8e7c8f134597f34315cb1b5fcd4598c3453ca.zip | |
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 'gitweb/static/js/javascript-detection.js')
0 files changed, 0 insertions, 0 deletions