manage bookmarks, bugfixesmaster
tree95fc5baa0d2245787e865cbafb2ee82be660b294
-rw-r--r-- 35147 COPYING
drwxr-xr-x - devel-tools
drwxr-xr-x - gui