Skip to content
Snippets Groups Projects
Forked from Core Modules / dune-common
6695 commits behind the upstream repository.
user avatar
Christian Engwer authored
* update am/webstuff with new rules, which work without wmlwrap
* this should also fix out-of-source doc generation (although untested)

[[Imported from SVN: r5525]]
1e872f1a
History