From be4fff49f0164e606d4b2f76f64d4d108895f236 Mon Sep 17 00:00:00 2001 From: Mageia SVN-Git Migration Date: Wed, 25 Apr 2007 15:16:21 +0000 Subject: Rename folder to match history. This is a Synthesized commit to combine perl-MDK-Common and perl_checker repository history. --- perl_checker.src/flags.mli | 22 ---------------------- 1 file changed, 22 deletions(-) delete mode 100644 perl_checker.src/flags.mli (limited to 'perl_checker.src/flags.mli') diff --git a/perl_checker.src/flags.mli b/perl_checker.src/flags.mli deleted file mode 100644 index 2dc3b26..0000000 --- a/perl_checker.src/flags.mli +++ /dev/null @@ -1,22 +0,0 @@ -val verbose : bool ref -val quiet : bool ref -val generate_pot : bool ref -val expand_tabs : int option ref -val no_cache : bool ref -val check_unused_global_vars : bool ref -val check_white_space : bool ref -val check_suggest_simpler : bool ref -val check_void : bool ref -val check_context : bool ref -val check_strange : bool ref -val check_traps : bool ref -val check_complex_expressions : bool ref -val normalized_expressions : bool ref -val check_help_perl_checker : bool ref -val suggest_functional : bool ref -val check_prototypes : bool ref -val check_names : bool ref -val check_import_export : bool ref -val allow_MDK_Common : bool ref -val is_warning_type_set : Types.warning -> bool -val are_warning_types_set : Types.warning list -> bool -- cgit v1.2.1