fix format problem in git.all.html