Tags

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

v4.02

ee07364b · Merge branch 'devel' into 'main' · Aug 30, 2024

Release: v4.02
v4.01

311c9be6 · Merge branch 'gitlab' into 'main' · May 15, 2024

Release: v4.01
v4.00

1401b637 · Merge branch 'gitlab' into 'main' · Feb 17, 2024

Release: v4.00
v3.00

86cc4e78 · Merge branch 'gitlab' into 'main' · Oct 22, 2023

Release: v3.00
v2.05

9c8e9c26 · Merge branch 'gitlab' into 'main' · Jul 30, 2023

Release: v2.05
v2.04

6cbbd1e2 · Merge branch 'gitlab' into 'main' · Apr 29, 2023
v2.03

c064797c · Merge branch 'devel' into 'main' · Jan 28, 2023

Release: v2.03
v2.01

414a9155 · Merge branch 'gitlab' into 'main' · Dec 09, 2022

Release: v2.01