| Fri, 13 Feb 2015 16:57:53 +0100 | ymh | integrate changes from github | file | diff | annotate |
| Thu, 06 Feb 2014 12:29:31 +0100 | cavaliet | annotation type description as tooltip. | file | diff | annotate |
| Thu, 02 Jan 2014 16:49:20 +0100 | cavaliet | oups (last commit in bad branch) | file | diff | annotate |