Mercurial > urweb
log install-sh
age | author | description |
---|---|---|
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 |
age | author | description |
---|---|---|
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 |