user-manual: give 'git push -f' as an alternative to +master
[git/mingw/j6t.git] / contrib / patches / 
treebb0bded78d41afa2a1131e188220a4800fd14286
drwxr-xr-x   ..
-rw-r--r-- 883 docbook-xsl-manpages-charmap.patch