summaryrefslogtreecommitdiff
path: root/BUGS
AgeCommit message (Expand)Author
2018-06-04added BUGS file from issues from github (delete repo there)HEADmasterAndreas Baumann