summarylogtreecommitdiffstats
path: root/.gitignore
AgeCommit message (Collapse)Author
2018-01-29bumped version to 5.1 (has become an OASIS standard in the mean time)Holger Rauch