Skip to content
GitLab
Explore
Sign in
This is an archived project. Repository and other project resources are read-only.
Archive
anjuta
Repository
anjuta
plugins
document-manager
anjuta-bookmarks.h
Find file
Blame
History
Permalink
document-manager: bgo#621424 - No easy way to delete a bookmark
· 0ec0c6d1
Johannes Schmid
authored
Dec 17, 2010
0ec0c6d1