Fri, 18 Jan 2013 11:47:23 +0100 | koda | improve tips (issue 472) | file | diff | annotate |
Mon, 07 Jan 2013 08:35:29 -0500 | nemo | correct rope tip | file | diff | annotate |
Wed, 02 Jan 2013 18:32:19 +0100 | martin_bede | Tips are now loaded from an xml file. | file | diff | annotate |