Skip to content

Ignore case option#180

Merged
Peterburnett merged 3 commits intoMOODLE_400_STABLEfrom ignore-case-optionSep 9, 2024

Commits

Commits on Sep 5, 2024