# HG changeset patch
# User HackBot
# Date 1454981547 0
# Node ID ec92ad574a0755d7dd5d588ea66bd1837870f0b2
# Parent  c7feb499c53d93da34d7e0d77a3fdc7fc11899aa
<oerjan> mkx bin/rm-p//rm "$1"; rmdir -p "$(dirname "$1")"

diff -r c7feb499c53d -r ec92ad574a07 bin/rm-p
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/bin/rm-p	Tue Feb 09 01:32:27 2016 +0000
@@ -0,0 +1,1 @@
+rm "$1"; rmdir -p "$(dirname "$1")"