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)
commitda969fa78684f1dff4128199dc7905804b08739f
treea078a985334b5c80198a37ae952b41e032bb7852
parent04303cb237c915e3fe3300d517d38ab07878c615
Renamed to settings.make.in.
settings.make [deleted file]