3 commits

Author	SHA1	Message	Date
pug stonks	a9e05a0b2c	Updated builder.sh to run the editor correctly when the script is started from another directory	2023-10-08 09:21:51 +02:00
Joshua Fern	419e86d9ca	Search the user's PATH to find the bash binary (#786)	2022-09-17 13:36:39 +02:00
Magnus Norddahl	1ef6391bbb	Added builder script with execute bit set so the .exe doesn't confuse Linux users	2020-09-20 11:41:28 +02:00