Skip to content

Maintain cmake compatibility with ubuntu 22#9

Merged
mikucionisaau merged 1 commit intoUPPAALModelChecker:mainfrom thorulf4:keep_cmake_compatibilityNov 23, 2023

Commits

Commits on Nov 21, 2023