On Sat, Sep 20, 2014 at 08:45:05AM -0400, John Peacock wrote:
I don't know why we don't just make
"distclean" an alias for the git command and be done with it. :(
I don't know why we don't just make
"distclean" an alias for the git command and be done with it. :(