Fri, 09 Aug 2013 15:14:59 +0200 | wenzelm | tuned; | changeset | files |
Fri, 09 Aug 2013 15:00:29 +0200 | wenzelm | tuned GUI; | changeset | files |
Fri, 09 Aug 2013 15:40:38 +0200 | blanchet | tuned name generation code (to make it easier to adapt later) | changeset | files |