.gitignore · 71fe3ebc0d46aa198f4cbac03ce2d406c6b8428d · pub / frama-c · GitLab

Snippets Groups Projects

8 months ago
7b13fa19
Merge branch 'fix/andre/plugins-gitignore' into 'master' · 7b13fa19
Andre Maroneze authored 8 months ago
```
remove obsolete .gitignore files

See merge request frama-c/frama-c!4660
```
7b13fa19

History
Merge branch 'fix/andre/plugins-gitignore' into 'master'
Andre Maroneze authored 8 months ago
```
remove obsolete .gitignore files

See merge request frama-c/frama-c!4660
```