chiark / gitweb /
New library configuration stuff from `common'.
authormdw <mdw>
Tue, 15 Aug 2000 22:40:48 +0000 (22:40 +0000)
committermdw <mdw>
Tue, 15 Aug 2000 22:40:48 +0000 (22:40 +0000)
commit3eb2b65a30ddc5f072fd76486325a54c519a75d4
treef11e9c0921d76443d7539e9da55e907cbd2ca36c
parent43622e4661c0b50650662c0c0b1e01f00da375bf
New library configuration stuff from `common'.
.links
configure.in
mgLib-config.in [deleted file]