Skip to content

GitLab

Explore

Sign in

Tags

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

1.0.2 protected

bef7c19d · Fix state · Oct 16, 2020
```
Enabled for Ubuntu 18.04 on INAU
```
1.0.1 protected

bef7c19d · Fix state · Oct 16, 2020
```
v1.0.1 - Fix state
```
1.0.0 protected

0db5a848 · Fix for c++98 · Oct 16, 2020
```
v1.0.0 - First release
```