Add Win32/configure.ac to the mix
authorsof@galois.com <unknown>
Wed, 29 Nov 2006 22:25:13 +0000 (22:25 +0000)
committersof@galois.com <unknown>
Wed, 29 Nov 2006 22:25:13 +0000 (22:25 +0000)
commit3495dc888f95837e9f29ed77167706d967fd71c8
tree122aadede1fc2afec0dabb8cdc989e2f63ff484f
parent8100cd4395e46ae747be4298c181a4730d6206bc
Add Win32/configure.ac to the mix
libraries/configure.ac