Sat, 28 Jan 2017 14:14:28 +0200 | Teemu Piippo | Actually, let's call it countof(). Makes more sense. | changeset | files |
Sat, 28 Jan 2017 14:13:01 +0200 | Teemu Piippo | Replaced '.length()' with 'length()' where appropriate | changeset | files |
Sat, 28 Jan 2017 14:01:19 +0200 | Teemu Piippo | Replaced uses of 'x.size()' with 'length(x)' | changeset | files |