Skip to content

GitLab

Explore

Sign in

Tags

Tags give the ability to mark specific points in history as being important

1.0.1

6c1f20ab · Added multi selection for deleting bookmarks · Feb 17, 2021
```
Added multi selection for deleting bookmarks
```
1.0.0

2dadd858 · first import; already fixed compilation on 18.04 · Aug 13, 2020
```
Tested working - first tag for INAU
```