Delete configured makefile in "distclean" rule.
authorChris Hanson <org/chris-hanson/cph>
Thu, 21 Dec 2000 21:56:23 +0000 (21:56 +0000)
committerChris Hanson <org/chris-hanson/cph>
Thu, 21 Dec 2000 21:56:23 +0000 (21:56 +0000)
commit52e8c7119f37676a3bfd1587487224a4bf6777b0
tree4d4820aefdb56298fe7d616a78757816d6855fad
parent574672bdfc2d4a35e96af0c07e8fc3a5a4d55224
Delete configured makefile in "distclean" rule.
v7/src/etc/Clean.sh