diff options
| author | Pascal Rigaux <pixel@mandriva.com> | 2003-05-23 13:50:38 +0000 |
|---|---|---|
| committer | Pascal Rigaux <pixel@mandriva.com> | 2003-05-23 13:50:38 +0000 |
| commit | f195e07e4d7585367905ce8bfac776e176a0b670 (patch) | |
| tree | 3341ffd35841cfa19d863d714a4cb792ad549223 /perl_checker.src/print.mli | |
| parent | 23d1206401f04a5445f66a56bb7fd487ae8083e0 (diff) | |
| download | perl_checker-f195e07e4d7585367905ce8bfac776e176a0b670.tar perl_checker-f195e07e4d7585367905ce8bfac776e176a0b670.tar.gz perl_checker-f195e07e4d7585367905ce8bfac776e176a0b670.tar.bz2 perl_checker-f195e07e4d7585367905ce8bfac776e176a0b670.tar.xz perl_checker-f195e07e4d7585367905ce8bfac776e176a0b670.zip | |
add warning: you can replace "map { if_(..., $_) }" with "grep { ... }"
Diffstat (limited to 'perl_checker.src/print.mli')
0 files changed, 0 insertions, 0 deletions