3 Commits

Author	SHA1	Message	Date
Richard Ash	a862924601	Make scripts/updateDocumentToC.py executable. ... On systems where the file system has excute permissions, this script was not marked as executable in a clean git checkout and so could be run without first changing the permissions. Fixed by setting the relevant git flag.	2020-07-22 21:43:16 +02:00
Martin Hořeňovský	0d8eeec557	Move all scripts to Python3	2020-04-29 21:28:52 +02:00
Martin Hořeňovský	91ee07e08c	Moved scripts/ to tools/scripts/	2019-12-06 11:53:31 +01:00