.gitattributes · 5e94148f8c73238e7063563b350d539f496c8cb3 · 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.
```