install headers ... also on rpm/deb; refs #119
parent
dcdcc3c355
commit
c536faa4cc
2 changed files with 4 additions and 3 deletions
Loading…
Reference in new issue