summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Michael Palimaka2013-04-081-42/+0
* Ensure that the library is built as shared, not static.Michael Palimaka2012-08-301-0/+42