-
Ansgar Burchardt authored
These are needed by headers in dune/functions/* and thus need to be installed. dune/common/test/* was omitted as it is only used for test programs.
f5d844db
These are needed by headers in dune/functions/* and thus need to be installed. dune/common/test/* was omitted as it is only used for test programs.