X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=clean-empty-dirs.py;h=244dfac4117770f488a01d4b6aad992000e38587;hb=effaa2138be88157b2322de42fe9395694918acf;hp=59817f20ff27e6c804c2b08eb4ebc7d4f88bd1e3;hpb=391310e122de0536c08f62bd46acd3b3b7b13964;p=myplc.git diff --git a/clean-empty-dirs.py b/clean-empty-dirs.py index 59817f2..244dfac 100755 --- a/clean-empty-dirs.py +++ b/clean-empty-dirs.py @@ -1,6 +1,6 @@ #!/usr/bin/python ### -### $Id: clean-empty-dirs.py 495 2007-06-11 07:20:50Z thierry $ +### $Id$ ### ### utility script for cleaning empty directories ### useful to clean up /var/tmp/bootmedium