Mon, 14 Oct 2019 19:37:12 +0200 | wenzelm | clarified treatment of base logic image; | changeset | files |
Mon, 14 Oct 2019 19:14:03 +0200 | wenzelm | simplified options: always split; | changeset | files |
Mon, 14 Oct 2019 18:51:12 +0200 | wenzelm | proper guard -- avoid bad result; | changeset | files |