Fri, 04 Dec 2015 22:19:04 +0100 | blanchet | tuned docs | changeset | files |
Fri, 04 Dec 2015 21:39:38 +0100 | blanchet | more documentation on 'size' plugin | changeset | files |
Fri, 04 Dec 2015 21:21:35 +0100 | blanchet | nicer error when the given size function has the wrong type | changeset | files |