chiark / gitweb /
scripts/teardown.in no longer removes things that are (now) installed
authorRichard Kettlewell <rjk@greenend.org.uk>
Fri, 6 Jun 2008 18:15:42 +0000 (19:15 +0100)
committerRichard Kettlewell <rjk@greenend.org.uk>
Fri, 6 Jun 2008 18:15:42 +0000 (19:15 +0100)
commitcdaf98f0290a30469af909b669312b1033cf30df
treee3829356a56c2e2c2c9682eb0f63d44ea0136fea
parent29f30bb0ff5850ad8589563ce11ba97aa6454ca6
scripts/teardown.in no longer removes things that are (now) installed
by the makefiles.
scripts/teardown.in