.gitattributes · 3f3bf8ed5abd9a9b1ecc163704a719b9d6800946 · pub / frama-c · GitLab

Snippets Groups Projects

2 years ago
9810b487
[distrib] Only excludes the entire /doc directory in the distributed archive. · 9810b487
David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago
```
No more exception is needed as /doc/code is no longer used to generate the html
API documentation.
```
9810b487

History
[distrib] Only excludes the entire /doc directory in the distributed archive.
David Bühler authored 2 years ago and Allan Blanchard committed 2 years ago
```
No more exception is needed as /doc/code is no longer used to generate the html
API documentation.
```

.gitattributes 12.70 KiB