5 Commits

Author SHA1 Message Date
Armin Briegel
e0a0b65b80 added missing newlines at end of file 2021-10-14 15:27:41 +02:00
Armin Briegel
7c0a4ef04a updated jetbrains labels to new format derived from #253 2021-10-13 16:07:19 +02:00
Søren Theilgaard
cfaac1eb28 more label syncs 2021-08-27 11:17:41 +02:00
Armin Briegel
2e72b05df1 finished updating labels 2021-08-16 16:55:28 +02:00
Armin Briegel
bc9bc74cf9 changed fragments to .sh extension 2021-04-28 09:36:16 +02:00