upon better thinking this really is a separate matter, take out of git-mirror altogether
[infrastructure.git] / Makefile
2011-10-14 Thierry Parmentelatdisplay commit first 8 digits instead of previous ...