src/plugins/e-acsl/Makefile.in · 76fe9b594908be7b3db0e66e383d6b1cc1c88ea3 · pub / frama-c · GitLab

Snippets Groups Projects

7 years ago
76fe9b59
[Makefile] Fixes headers target to do the correct thing in internal mode · 76fe9b59
Virgile Prevosto authored 7 years ago
```
Integration within main distribution might work at some non-so-far-way
point in the future after all.
```
76fe9b59

History
[Makefile] Fixes headers target to do the correct thing in internal mode
Virgile Prevosto authored 7 years ago
```
Integration within main distribution might work at some non-so-far-way
point in the future after all.
```