log Makefile.am

age author description
Sat, 27 Dec 2014 07:13:22 -0500 Adam Chlipala Modernize configuration process