.gitattributes · 0132b8aa669adc10e6ca953d10d5c0b861f304b1 · CertiCompil / CompCert-IntrinSec · GitLab

Snippets Groups Projects

Due to inactivity, this project is scheduled to be deleted on 2037-01-22. Why is this scheduled?

5 years ago
a8586f12
Added .gitattributes file. · a8586f12
Bernhard Schommer authored 5 years ago
```
Treat doc as documentation and tests as vendored for github linguist
```
a8586f12

History
Added .gitattributes file.
Bernhard Schommer authored 5 years ago
```
Treat doc as documentation and tests as vendored for github linguist
```