[Dune] Example config.opts for new build system

Christoph Grüninger christoph.grueninger at iws.uni-stuttgart.de
Thu Dec 17 22:40:50 CET 2015

Previous message (by thread): [Dune] Example config.opts for new build system
Next message (by thread): [Dune] 1. Example config.opts for new build system
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi Christian,
I agree with you and I don't know why the FAQ was removed. I assume the included one is more up to date and that the new webpage has more delay then expected.

Bye
Christoph

Previous message (by thread): [Dune] Example config.opts for new build system
Next message (by thread): [Dune] 1. Example config.opts for new build system
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Dune mailing list