diff options
Diffstat (limited to 'perl_checker.src/flags.ml')
-rw-r--r-- | perl_checker.src/flags.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/perl_checker.src/flags.ml b/perl_checker.src/flags.ml index b2c40c2..5256831 100644 --- a/perl_checker.src/flags.ml +++ b/perl_checker.src/flags.ml @@ -2,4 +2,3 @@ open Common let verbose = ref false let quiet = ref false - |