.gitattributes · 459a8189d891db68116b971815fa18522c8eb8f0 · pub / frama-c · GitLab

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