Thu, 30 Aug 2018 14:38:24 +0200 | wenzelm | tuned; | changeset | files |
Thu, 30 Aug 2018 14:21:40 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 30 Aug 2018 14:10:39 +0200 | wenzelm | clarified signature; | changeset | files |
Thu, 30 Aug 2018 13:38:52 +0200 | wenzelm | clarified signature: explicit type Locale.registration; | changeset | files |
Thu, 30 Aug 2018 12:36:26 +0200 | wenzelm | tuned; | changeset | files |
Thu, 30 Aug 2018 12:10:15 +0200 | wenzelm | tuned; | changeset | files |