Skip to content
GitLab
Explore
Sign in
mice: Fix interpreter optimized flag
Code
Review changes
Check out branch
Download
Patches
Plain diff
Patrick Dormanns
requested to merge
fix/mice-optimized-mode
into
main
Mar 23, 2023
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
Sets the python interpreters optimized flag correctly.
Merge request reports