--moduleoverride:mod1:mod2:prefix
: generalized patchFile
to allow non-global effect; works on cmdline / config#18496
Closed
timotheecour wants to merge 5 commits intonim-lang:develfrom timotheecour:pr_localoverride
+145-1
Commits
Commits on Jul 17, 2021
- committed
- committed
- committed
- committed
- committed