Update python -> python3 in scripts#266

davexparker merged 1 commit into

prismmodelchecker:masterprismmodelchecker/prism:masterfrom

davexparker:python3davexparker/prism:python3Copy head branch name to clipboard