Add a test git repository.

This is just so we can do pushes and commits etc. to test various git things

This could be used by users who are unsure of how git works and what
kind of notifications they will get and for testing infrastructure integration
such as bugzilla notification on push.

mga#11987

0 files changed, 0 insertions, 0 deletions

path: root/perl_checker.src/flags.ml

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