Commit | Line | Data |
---|---|---|
34e49164 C |
1 | let sgrep_mode2 = ref false |
2 | ||
3 | let show_misc = ref true | |
4 | ||
5 | let show_trying = ref false | |
6 | ||
7 | let track_iso_usage = ref false | |
8 | ||
9 | let use_glimpse = ref false | |
10 | ||
11 | let pyoutput = ref "coccilib.output.Console" | |
12 | ||
13 | (*"Some" value is the path with respect to which the patch should be created*) | |
14 | let patch = ref (None : string option) | |
15 | ||
16 | let make_hrule = ref (None : string (*dir*) option) | |
485bce71 C |
17 | |
18 | let currentfile = ref (None : string option) | |
19 | ||
20 | let current_element = ref "" |