[Dune] [Dune-Commit] dune-common r6746 - trunk/lib

Oliver Sander sander at mi.fu-berlin.de
Tue May 22 16:50:07 CEST 2012

Previous message (by thread): [Dune] [Dune-Commit] dune-common r6746 - trunk/lib
Next message (by thread): [Dune] [#1114] automatically generated DUNE_CONTROL_PATH might include duplicate entries
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

>
> BTW: The original issue (of Matteo) _WAS_ already fixed and your
> Debian problem is actually a new issue.
>

Agreed. Thanks for the fix so far.

> Markus
>

Previous message (by thread): [Dune] [Dune-Commit] dune-common r6746 - trunk/lib
Next message (by thread): [Dune] [#1114] automatically generated DUNE_CONTROL_PATH might include duplicate entries
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Dune mailing list