Forked from
Core Modules / dune-common
10134 commits behind the upstream repository.
-
Markus Blatt authored
Use "sh $(top_srcdir)/bin/wmlwrap" instead of $(top_srcdir)/bin/wmlwrap. [[Imported from SVN: r1934]]
Markus Blatt authoredUse "sh $(top_srcdir)/bin/wmlwrap" instead of $(top_srcdir)/bin/wmlwrap. [[Imported from SVN: r1934]]
webstuff 773 B