Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v1.4
protected
fab6c85a
·
Version 1.4
·
Jul 27, 2022
Release:
v1.4
Version 1.4
Unverified
v1.3
protected
b1d69dae
·
Version 1.3
·
Aug 20, 2020
Release:
v1.3
Area Selection
v1.2
protected
06784412
·
Update version number
·
Dec 21, 2019
Release:
v1.2
Zooming
v1.1
protected
845dec5d
·
Increment the version number
·
Oct 07, 2019
Release:
v1.1
Detect solves
v1.0
protected
2698dc50
·
Remove unused import
·
Oct 06, 2019
Release:
v1.0
Initial release