blob: fdedc9555c767fb160549f7c65d3310d41b4ed22 (
plain)
1
2
3
4
5
6
7
8
|
open Common
let verbose = ref false
let quiet = ref false
let generate_pot = ref false
let expand_tabs = ref (Some 8)
let check_unused_global_vars = ref false
let no_cache = ref false
|