aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* fixed warning about unsorted keywordsPatrick Höhn2019-10-191-1/+1
* 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-0/+4
* remove herd linesArsenShnurkov2016-02-211-1/+0
* fix headers and copyright linesHeather2015-08-121-1/+1
* corrections for gnome-desktop-sharpHeather2015-08-102-8/+4
* fix fsharpbindingHeather2013-09-231-13/+7
* Various fixes related to monodoc/docbrowser and general dependencie fixes.BtbN2013-09-233-0/+77