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
..
ISSUE_TEMPLATE	Add issue templates (#235)	2022-01-02 20:24:47 +01:00
workflows	Fix update to TODO (#142)	2021-09-05 07:57:23 +12:00