4 Commits

Author SHA1 Message Date
3246d5ec07 commit as is 2022-09-30 22:46:46 +02:00
297e5f4626 restored destroyed open_ide.sh 2021-11-20 18:19:41 +01:00
7e9559fde3 Moved helper scripts into tools/ 2021-11-13 12:42:41 +01:00
1504fc779a lots of smaller fixes 2021-08-09 20:59:58 +02:00