| commit | e348455f5f3f177f7c3f656a0204d9a89b27e5c8 | [log] [tgz] |
|---|---|---|
| author | Sandro Tosi <sandro.tosi@gmail.com> | Mon Oct 31 10:12:43 2011 +0100 |
| committer | Sandro Tosi <sandro.tosi@gmail.com> | Mon Oct 31 10:12:43 2011 +0100 |
| tree | 44ba2c2bd1216b8e7e411961c6b6e4de819d777f | |
| parent | 7aff4517289e2a748b238f282a777e577c9e3d3f [diff] |
document turtle done() function; thanks to Csaba Szepesvari from docs@