Merge pull request #1039 from thomasvl/fix_cleans
Fix distclean and maintainer-clean to get more generated files.pull/1041/head
commit
2f2da0702d
2 changed files with 2 additions and 0 deletions
Loading…
Reference in new issue