Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Oliver Sander authored
Backported from Martin's development branch, minus some whitespace changes. Thanks. [[Imported from SVN: r6712]]
Oliver Sander authoredBackported from Martin's development branch, minus some whitespace changes. Thanks. [[Imported from SVN: r6712]]