diff options
| author | Olivier Blin <oblin@mandriva.org> | 2005-11-15 16:00:42 +0000 |
|---|---|---|
| committer | Olivier Blin <oblin@mandriva.org> | 2005-11-15 16:00:42 +0000 |
| commit | 06a335b68dc2cf67704e9b9367e9b7a256eebd8e (patch) | |
| tree | 81dc5fce55850722e35ac1ee0da09a08a90dd903 /perl_checker.src/perl_checker.ml | |
| parent | 4ea2af164dd4b7e2b4d5ca5e2df573403db4bfc9 (diff) | |
| download | perl-MDK-Common-06a335b68dc2cf67704e9b9367e9b7a256eebd8e.tar perl-MDK-Common-06a335b68dc2cf67704e9b9367e9b7a256eebd8e.tar.gz perl-MDK-Common-06a335b68dc2cf67704e9b9367e9b7a256eebd8e.tar.bz2 perl-MDK-Common-06a335b68dc2cf67704e9b9367e9b7a256eebd8e.tar.xz perl-MDK-Common-06a335b68dc2cf67704e9b9367e9b7a256eebd8e.zip | |
inline unneeded cat_a_file() in cat_(), simplify using map (perl_checker could have detected this push/map like structure)
Diffstat (limited to 'perl_checker.src/perl_checker.ml')
0 files changed, 0 insertions, 0 deletions