Skip to content

Making vars representing taken permission amounts (for MCE, wildcards) functions depending on quantified vars#895

Merged
marcoeilers merged 10 commits into
masterfrom
meilers_fix_894
Feb 3, 2025
Merged

Making vars representing taken permission amounts (for MCE, wildcards) functions depending on quantified vars#895
marcoeilers merged 10 commits into
masterfrom
meilers_fix_894

Commits

Commits on Feb 2, 2025

Commits on Feb 3, 2025