Change "Skipping" to "safe-rm: skipping"
treef99555075d65371ad19e74c7469e0dda84a1ec1d
-rw-r--r-- 300 .cil
-rw-r--r-- 18 .gitignore
-rw-r--r-- 35068 COPYING
-rw-r--r-- 1045 Changes
-rw-r--r-- 389 INSTALL
-rw-r--r-- 314 Makefile
-rw-r--r-- 39 Manifest
-rw-r--r-- 2369 README
-rw-r--r-- 430 RELEASING
-rw-r--r-- 1198 TESTING
drwxr-xr-x - issues
-rwxr-xr-x 5870 safe-rm