Sun, 07 Jun 2015 22:04:50 +0200 | wenzelm | tuned (see also 66e6c539a36d); | changeset | files |
Sun, 07 Jun 2015 21:58:18 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 07 Jun 2015 21:30:53 +0200 | wenzelm | clarified: declare props once and for all; | changeset | files |
Sun, 07 Jun 2015 20:03:40 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 07 Jun 2015 15:35:49 +0200 | wenzelm | tuned signature; | changeset | files |
Sun, 07 Jun 2015 15:01:07 +0200 | wenzelm | tuned signature; | changeset | files |