Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | further minimize one-liner | changeset | files |
Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | tuning | changeset | files |
Fri, 01 Aug 2014 14:43:57 +0200 | blanchet | eliminated needlessly complex message tail | changeset | files |