"...automata-library.git" did not exist on "dfe95497546d5ed5918722f935037ad8ecb6db57"
-
Tomáš Pecka authored
... because most developers were copy-pasting the preambule anyway and did not pay any attention to change it. Also, I think that git does better job in managing that.
Tomáš Pecka authored... because most developers were copy-pasting the preambule anyway and did not pay any attention to change it. Also, I think that git does better job in managing that.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.