[Dune] [Dune-Commit] dune-common r5500 - trunk/bin

[Sven Marnach]

Hi all,

to finally get to a decision about the directory naming scheme, I
would ask all DUNE developers to place votes in the comments of

  http://www.dune-project.org/flyspray/index.php?do=details&task_id=386

See my last comment there for details.

Thanks!
    Sven