Ben Gras d25ded6d3d fix for git commit id from branch
. git would take remote repo HEAD otherwise
2012-02-21 01:20:00 +01:00
..
2009-12-23 23:59:32 +00:00
2012-02-15 01:19:12 +01:00
2011-10-25 00:05:38 +02:00
2012-02-17 12:56:38 +00:00
2012-02-17 12:32:35 +00:00
2012-02-20 23:55:44 +01:00
2012-02-21 01:20:00 +01:00
2012-02-14 14:52:14 +01:00