yueh 94e294f4e9 Remove redundant option

2020-03-27 21:28:55 +01:00

..

ISSUE_TEMPLATE

Update bug_report.md

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

workflows

Remove redundant option

2020-03-27 21:28:55 +01: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