summaryrefslogtreecommitdiff
path: root/missing
Commit message (Collapse)AuthorAge
* 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