decc6c1 update to 0.7.2

Authored and Committed by drago01 16 years ago
    update to 0.7.2
    
        
file modified
+1 -3
file modified
+17 -9
file modified
+1 -1