Sat, 05 Dec 2020 18:14:55 +0100 | wenzelm | proper treatment of singleton Position.Offset within blob (amending cb9d5af781b4); | changeset | files |
Sat, 05 Dec 2020 15:27:55 +0100 | wenzelm | more robust batch-build; | changeset | files |
Sat, 05 Dec 2020 14:36:41 +0100 | wenzelm | tuned; | changeset | files |