_CoqProject · 9271931f0ff5a1e4b1deca491556b475428e2053 · RT-PROOFS / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

5 years ago
bc20368f
Don't re-generate _CoqProject in create_makefile.sh · bc20368f
Björn Brandenburg authored 5 years ago
```
No need to re-generate an unchanging file from scratch.
```
bc20368f

History
Don't re-generate _CoqProject in create_makefile.sh
Björn Brandenburg authored 5 years ago
```
No need to re-generate an unchanging file from scratch.
```