(SOURCES, unlock, relock): Delete.
authorGlenn Morris <rgm@gnu.org>
Wed, 12 Sep 2007 06:58:49 +0000 (06:58 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 12 Sep 2007 06:58:49 +0000 (06:58 +0000)
commit0d75dcc8824db5d62190ace4dd0706752a8e6c07
treef590f2cbd3f065297e9f4d4d4ac074a098b114f1
parentcd227ad147d601ab234f51fadb53425fabbf6f68
(SOURCES, unlock, relock): Delete.
etc/ChangeLog
etc/Makefile