Stefan Holderbach aefc2965d1 Add issue templates (#235) ... * Add issue templates As we often have to consider certain platform/terminal editor specific things as potential sources of bugs, let's nudge people to provide this info * Delete githubs default form		2022-01-02 20:24:47 +01:00
..
bug_report.md	Add issue templates (#235)	2022-01-02 20:24:47 +01:00
missing-feature.md	Add issue templates (#235)	2022-01-02 20:24:47 +01:00