gedit-plugin-bookmarks binary package in Ubuntu Mantic arm64
gedit-plugins contain a set of plugins for gedit.
.
This plugin enables easy document navigation with bookmarks.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-04-25 12:10:09 UTC | Published | Ubuntu Mantic arm64 | release | universe | gnome | Optional | 44.1-2 | ||
|