aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Corrections / Additions to PR436 (#437)Patrick Höhn2019-10-181-3/+2
* New yearMikhail Pukhlikov2017-01-071-1/+1
* maintainer type proj addedArsenShnurkov2016-02-211-4/+8
* fix headers and copyright linesHeather2015-08-121-2/+2
* fix fsharpbindingHeather2013-09-231-2/+2
* clean upHeather2013-09-231-1/+1
* metadataHeather2013-09-232-0/+37