log depcomp

age author description
Tue, 07 Aug 2012 09:41:02 -0400 Adam Chlipala New release
Sat, 10 Mar 2012 13:13:15 -0500 Adam Chlipala New release
Thu, 28 Jan 2010 10:48:49 -0500 Adam Chlipala Get rid of those pesky symlinks for autotools files