Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
Release_2_3
59baba5a
·
fixed bug in Makefile, incremented version
·
Jul 17, 2024
Added tag Release_2_3
Release_2_2
14dc9e41
·
adapted Makefile for git, increased Release number
·
Oct 25, 2023
Added tag Release_2_2