Skip to content

Update python -> python3 in scripts#266

Merged
davexparker merged 1 commit into
prismmodelchecker:masterfrom
davexparker:python3
Jan 11, 2026
Merged

Update python -> python3 in scripts#266
davexparker merged 1 commit into
prismmodelchecker:masterfrom
davexparker:python3

Conversation

@davexparker

Copy link
Copy Markdown
Member

No description provided.

@davexparker
davexparker merged commit 6b92a98 into prismmodelchecker:master Jan 11, 2026
6 checks passed
@davexparker
davexparker deleted the python3 branch January 11, 2026 09:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant