MrVeink 420b1342a7 Adding `bad --gmake` to files that use `gmake`		2022-08-29 19:06:38 +02:00
..
build.sh	Adding `bad --gmake` to files that use `gmake`	2022-08-29 19:06:38 +02:00
config.mk	lots of stuff	2021-12-26 12:40:14 +00:00
velox.conf	lots of stuff	2021-12-26 12:40:14 +00:00