Skip to content
Snippets Groups Projects
Select Git revision
  • b003a79464c012d22b8584aeb89c9283cb587234
  • master default protected
2 results

tictactoe_v2.tla

user avatar
Jakhes authored
e3e57026
History
Code owners
Assign users and groups as approvers for specific file changes. Learn more.