4 commits

Author	SHA1	Message	Date
David Kinder	d14e2f8527	Add EXEEXTENSION setting for each platform's executable file extension	2020-06-04 13:23:16 +01:00
Graham Nelson	8deee1569f	Translocation	2019-03-10 23:46:11 +00:00
Graham Nelson	5deddbb742	Removed unnecessary inrtps options (now that -font is default)	2019-02-27 19:29:48 +00:00
Graham Nelson	d57a1dc13f	Initial commit	2019-02-04 22:26:45 +00:00