-
Hans-Jörg authored
- Add backport goal to Makefile to aid work - copy the main chapter as "spec.tex" - copy the rules appendix as "alethe_rules.tex" - finish adaption of source code in spec.tex
Hans-Jörg authored- Add backport goal to Makefile to aid work - copy the main chapter as "spec.tex" - copy the rules appendix as "alethe_rules.tex" - finish adaption of source code in spec.tex
Code owners
Assign users and groups as approvers for specific file changes. Learn more.