src/widgets/AnnotationsList.css
Mon, 28 Dec 2015 15:50:04 +0100 ymh getting various changes from github
Fri, 02 Oct 2015 11:27:17 +0200 ymh merge pull request #3 from O. Auber
Fri, 18 Sep 2015 14:44:36 +0200 durandn Added support for deleting annotations + Added support for displaying user names under another format
less more (0) -10 -3 tip