Sun, 11 Feb 2018 13:50:28 +0100 | wenzelm | tuned; | changeset | files |
Sun, 11 Feb 2018 13:45:51 +0100 | wenzelm | more robust options; | changeset | files |
Sun, 11 Feb 2018 13:24:38 +0100 | wenzelm | back to --disable-shared on windows to avoid odd core-dump of polyimport; | changeset | files |