Skip to content

Set igncr using BASH_ENV instead of SHELLOPTS#921

Merged
smorimoto merged 1 commit intoocaml:masterfrom tobil4sk:fix/bash-SHELLOPTS-behaviourJan 9, 2025
+13-4

Commits

Commits on Jan 8, 2025