merge from dev

This commit is contained in:
Daan 2025-06-09 19:21:26 -07:00
commit b0958d81fa
6 changed files with 20 additions and 12 deletions

View file

@ -1,5 +1,5 @@
set(mi_version_major 3)
set(mi_version_minor 0)
set(mi_version_minor 1)
set(mi_version_patch 4)
set(mi_version ${mi_version_major}.${mi_version_minor})