Skip to content
GitLab
Explore
Sign in
RT-PROOFS
PROSA - Formally Proven Schedulability Analysis
Repository
rt-proofs
_CoqProject
Find file
Blame
History
Permalink
Don't re-generate _CoqProject in create_makefile.sh
· bc20368f
Björn Brandenburg
authored
Nov 07, 2019
No need to re-generate an unchanging file from scratch.
bc20368f