diff Makefile @ 21853:8127b9e798b1

purge: add options for deleting only files or only directories
author Ben Kehoe <benk@berkeley.edu>
date Thu, 07 Nov 2013 17:24:14 -0800
parents 4bfb721de6dd
children 246b6a9c8d8f
line wrap: on
line diff