Mercurial > urweb
log missing
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 |
Thu, 28 Jan 2010 09:56:08 -0500 | Adam Chlipala | First attempt to switch to Automake, to get shared libraries built in OSX |