"...automata-library.git" did not exist on "b16b312b100408695bb1dadaafa158b9ec9acf6d"
-
Tomáš Pecka authored
For better Jenkins CI integration.
Tomáš Pecka authoredFor better Jenkins CI integration.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.