David Kinder d14e2f8527 Add EXEEXTENSION setting for each platform's executable file extension		2020-06-04 13:23:16 +01:00
..
gitignorescript.txt	Added test cases using new weave tree	2020-04-23 00:29:02 +01:00
makescript.txt	Add EXEEXTENSION setting for each platform's executable file extension	2020-06-04 13:23:16 +01:00
READMEscript.txt	Conform to new README system	2020-03-23 21:39:27 +00:00