| Thu, 16 Jan 2020 16:41:25 +0100 | wenzelm | more documentation: odd option for special situations; | changeset | files |
| Thu, 16 Jan 2020 16:35:17 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 16 Jan 2020 16:15:25 +0100 | wenzelm | updated to sumatra_pdf-3.1.2-1: x86_64-windows; | changeset | files |