Wed, 05 Aug 2015 20:36:07 +0200 | wenzelm | proper dynamic update; | changeset | files |
Wed, 05 Aug 2015 20:19:51 +0200 | wenzelm | tuned; | changeset | files |
Wed, 05 Aug 2015 20:04:21 +0200 | wenzelm | more GUI components; | changeset | files |
Wed, 05 Aug 2015 20:03:22 +0200 | wenzelm | tuned; | changeset | files |
Wed, 05 Aug 2015 20:02:44 +0200 | wenzelm | tuned; | changeset | files |
Wed, 05 Aug 2015 16:22:56 +0200 | wenzelm | more controls; | changeset | files |
Wed, 05 Aug 2015 16:22:40 +0200 | wenzelm | proper initialization; | changeset | files |