Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • develop protected
  • v1.8.1
  • v1.8.0
  • v1.7.0
  • v1.6.3
  • v1.6.2
  • v1.6.1
  • v1.6.0
  • v1.5.1
  • v1.5.0
  • v1.4.0
  • v1.3.0
  • v1.2.0
  • v1.1.3
  • v1.1.2
  • v1.1.1
  • v1.1.0
  • v1.0.5
  • v1.0.4
  • v1.0.3
  • v1.0.2
22 results
Compare
Jürgen Haas's avatar
Merge branch 'develop' into 'main'
jurgenhaas authored 
Merging develop into main

See merge request !2
10de0031
History
Jürgen Haas's avatar 10de0031
History
Name Last commit Last update