716e5a8 Update from 0.85 to 0.85.1

Authored and Committed by oliver 18 years ago
    Update from 0.85 to 0.85.1
    
        
file modified
+2 -2
file modified
+6 -3
file modified
+2 -2