diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2007-04-25 15:08:17 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2007-04-25 15:08:17 +0000 |
| commit | 1a06fa7e4a300880848047118f0adba68d38348d (patch) | |
| tree | e6b01d6f4feae969f9905d5245648532db254c42 /perl_checker.src/flags.mli | |
| parent | e895f6b48826f09aeaada321d03a1d10548fc9ce (diff) | |
| download | perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar.gz perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar.bz2 perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.tar.xz perl-MDK-Common-1a06fa7e4a300880848047118f0adba68d38348d.zip | |
re-sync after the big svn loss
Diffstat (limited to 'perl_checker.src/flags.mli')
| -rw-r--r-- | perl_checker.src/flags.mli | 22 |
1 files changed, 0 insertions, 22 deletions
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 |