summaryrefslogtreecommitdiff
path: root/missing
Commit message (Expand)AuthorAge
* New releaseGravatar Adam Chlipala2012-03-10
* Get rid of those pesky symlinks for autotools filesGravatar Adam Chlipala2010-01-28
* First attempt to switch to Automake, to get shared libraries built in OSXGravatar Adam Chlipala2010-01-28