Skip to content
Snippets Groups Projects
Commit 3f257364 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[Override Std] Shorter option

parent dd574e42
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/override_std/options.ml
+ 1
− 1
View file @ 3f257364
...@@ -32,7 +32,7 @@ include Plugin.Register ...@@ -32,7 +32,7 @@ include Plugin.Register
module Enabled = False module Enabled = False
(struct (struct
let option_name = "-override-std-perform" let option_name = "-override-std"
let help = "" let help = ""
end) end)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment