5bfaa48 Rebase to 0.7.2

Authored and Committed by Petr Machata 11 years ago
    Rebase to 0.7.2
    
        
file modified
+1 -0
file removed
-150
file modified
+10 -13
file modified
+1 -1