.gitattributes · ca7d8ed37c30a3e21cafea553a08047da963771a · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis · GitLab

Snippets Groups Projects

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

765 commits behind the upstream repository.

6 years ago
cb02d63e

Give Gitlab a hint how to highlight our Prosa code · cb02d63e
Björn Brandenburg authored 6 years ago

cb02d63e

History

Give Gitlab a hint how to highlight our Prosa code
Björn Brandenburg authored 6 years ago

.gitattributes 24 B

*.v gitlab-language=coq