Benjamin Sago 173e9b2345 Move the packaging script into its own file ... Having it all echo-ed into the file like that made it hard to read *and* hard to maintain. My initial aversion to it was that I didn’t want there to be an executable script in the main repository that only worked when you were in the VM, because people would just run it anyway. But this can be avoided by leaving it non-executable, and having a command in the VM that runs it instead.		2017-10-01 09:48:20 +02:00
..
dev-package-for-linux.sh	Move the packaging script into its own file	2017-10-01 09:48:20 +02:00