Thu, 29 Jun 2017 11:58:00 +0200 | wenzelm | proper dynamic controls, notably for auto_update_enabled; | changeset | files |
Thu, 29 Jun 2017 11:42:42 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 29 Jun 2017 11:36:25 +0200 | wenzelm | HTML GUI actions via JavaScript; | changeset | files |