yueh ddd51c419c Only build on pushing to master

2020-06-09 12:53:43 +02:00

..

ISSUE_TEMPLATE

Update bug_report.md

2018-10-02 17:38:22 +02:00

workflows

Only build on pushing to master

2020-06-09 12:53:43 +02:00

CONTRIBUTING.md

Updated github docs

2017-07-21 22:05:38 +02:00

ISSUE_TEMPLATE.md

Placed github related files into .github

2016-10-24 11:56:21 +02:00