diff options
author | Pascal Rigaux <pixel@mandriva.com> | 2005-11-25 15:38:42 +0000 |
---|---|---|
committer | Pascal Rigaux <pixel@mandriva.com> | 2005-11-25 15:38:42 +0000 |
commit | 6f49e86bed1ff1de26d1861adb1d2485a4f2bcc3 (patch) | |
tree | 8a2e0e52cd46f65beef154ae33db4b519c22093c /perl_checker.src/config_file.ml | |
parent | 5597aacb33010d62a6a5d937084e01c17388f5b5 (diff) | |
download | perl_checker-6f49e86bed1ff1de26d1861adb1d2485a4f2bcc3.tar perl_checker-6f49e86bed1ff1de26d1861adb1d2485a4f2bcc3.tar.gz perl_checker-6f49e86bed1ff1de26d1861adb1d2485a4f2bcc3.tar.bz2 perl_checker-6f49e86bed1ff1de26d1861adb1d2485a4f2bcc3.tar.xz perl_checker-6f49e86bed1ff1de26d1861adb1d2485a4f2bcc3.zip |
we don't care about module warnings (and we don't handle it nicely :)
Diffstat (limited to 'perl_checker.src/config_file.ml')
0 files changed, 0 insertions, 0 deletions