Skip to content
GitLab
Explore
Sign in
Extensions
Contribute Page Progress Bar
Tags
Tags give the ability to mark specific points in history as being important
1.1
d5a05388
·
Update info.xml: tag version 1.1
·
Dec 28, 2021
Release:
1.1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
1.0
f11ef9a7
·
Add a menu item for the settings.
·
Aug 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar