7b7f94c update to 0.7.2

Authored and Committed by Andreas Osowski 14 years ago
    update to 0.7.2
    
        
file modified
+1 -1
file modified
+9 -3
file modified
+1 -0
file modified
+1 -1