19f5836 - update to svn 1307 for "Safe delete"

Authored and Committed by mschwendt 15 years ago
    - update to svn 1307 for "Safe delete"
    
        
file modified
+1 -1
file modified
+5 -2
file modified
+1 -1