chiark / gitweb /
Renamed to settings.make.in.
authorian <ian>
Sun, 28 Mar 1999 18:09:49 +0000 (18:09 +0000)
committerian <ian>
Sun, 28 Mar 1999 18:09:49 +0000 (18:09 +0000)
commit350761ee02e44b42078e09bde566b1266a944c5b
tree02876c3f28883b41844fd17eb2362da750ee49d0
parentc93e251496b5273eb6ab374e8fe5c8a70d08dd44
Renamed to settings.make.in.
settings.make [deleted file]