Forked from
Core Modules / dune-common
Source project has a limited visibility.
-
Markus Blatt authored
Patch was kindly provided by Bernd Flemisch. [[Imported from SVN: r7465]]
Markus Blatt authoredPatch was kindly provided by Bernd Flemisch. [[Imported from SVN: r7465]]