log ltmain.sh

age author description
Sat, 23 Jun 2012 09:58:31 -0400 Adam Chlipala Regenerate Autotools files myself with Ron's patch
Wed, 26 Oct 2011 09:12:37 -0400 Adam Chlipala Upgrade ltmain.sh
Tue, 19 Jul 2011 09:29:34 -0400 Adam Chlipala Update to newer Autoconf
Tue, 11 Jan 2011 10:31:48 -0500 Adam Chlipala Fetched a URL