WHIZARD

  1. Bug #1855251
  2. Comment #9

Comment 9 for bug 1855251

Revision history for this message
Juergen Reuter (j.r.reuter) wrote :

I actually just deinstalled noweb on my machine and checked with the (more recent) nightly built
whizard-2.8.3-2019-12-01-1bbe91d.tar.gz
This worked perfectly without noweb. Maybe this was some other problem on your side.