bigger labels for heads and tags
[infrastructure.git] / gitweb / Makefile
2011-10-14 Thierry Parmentelatknows how to push on the git servers
2011-10-14 Thierry Parmentelatdisplay commit first 8 digits instead of previous ...