39dd8d9 Build from Git HEAD, not from version-tagged commit

2 files Authored by pviktori 9 years ago, Committed by encukou 9 years ago,
    Build from Git HEAD, not from version-tagged commit
    
    Still checks that everything is in Git
    
        
file modified
+1 -0
file modified
+6 -2