(distclean): Remove unnecessary directory deletion.
authorGlenn Morris <rgm@gnu.org>
Sun, 16 Sep 2012 18:56:10 +0000 (11:56 -0700)
committerGlenn Morris <rgm@gnu.org>
Sun, 16 Sep 2012 18:56:10 +0000 (11:56 -0700)
commit164b9bf3ef04371d24bc34ffdbe8800bdcff1f1e
tree27a98ebfacf9a3ecb09ffd9e18328b27c935260d
parent92f7c6f1a320701a5e15d8a3f28e08d1889c81bc
(distclean): Remove unnecessary directory deletion.
nextstep/Makefile.in