aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* added missing metadata.xml files and fixed identation in filesPatrick Höhn2019-10-192-4/+4
* corrected urisPatrick Höhn2019-10-192-2/+2
* hopefully corrected all uri.https problemsPatrick Höhn2019-10-192-2/+2
* Corrections / Additions to PR436 (#437)Patrick Höhn2019-10-182-6/+4
* some fixes for repomanArsenShnurkov2017-10-012-2/+2
* New yearMikhail Pukhlikov2017-01-072-2/+2
* maintainer type proj addedArsenShnurkov2016-02-212-8/+16
* fix headers and copyright linesHeather2015-08-122-4/+4
* fix fsharpbindingHeather2013-09-232-2/+2
* clean upHeather2013-09-232-4/+4
* metadataHeather2013-09-234-0/+60