Gregor Santner f1464b5f8f ci add comment for cleanup as github has no delete-all button		2020-12-23 14:45:38 +01:00
..
workflows	ci add comment for cleanup as github has no delete-all button	2020-12-23 14:45:38 +01:00
ISSUE_TEMPLATE.md	Update paths	2018-05-13 12:08:27 +02:00
PULL_REQUEST_TEMPLATE	Update github templates	2018-04-03 23:23:16 +02:00