Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | tuned internal signature | changeset | files |
Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | more explicit constructor name | changeset | files |
Tue, 20 Jun 2017 08:01:56 +0200 | haftmann | tuned whitespace | changeset | files |