Alexander Wilms ee935e9fa7 Fix JSON files		2023-09-17 12:36:57 +00:00
..
DO1.json
DO1.verm
DO2.json
DO2.verm
heroVar.json
heroVar.verm
indirectVar.json
indirectVar.verm
list-manipulation.json
list-manipulation.verm
re1.json
re1.verm
std.json
std.verm
testy.json
testy.verm