comparison index.html @ 5578:deca3045c118

of-sparsersb: Temporarily de-activate option "render" for Windows (bug #58957). * src/mingw-of-sparsersb-1-no-render.patch: Add new patch. * dist-files.mk: Add new file to list.
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 31 Oct 2020 19:13:51 +0100
parents ae03e5272111
children 90c2dc72dd16 28e6261e5074
comparison
equal deleted inserted replaced
5577:7422b99c5550 5578:deca3045c118