diff options
| author | mertz | 2002-09-06 09:52:26 +0000 |
|---|---|---|
| committer | mertz | 2002-09-06 09:52:26 +0000 |
| commit | 4843d2089fd5e0b58bae23a50682d410251cc310 (patch) | |
| tree | c04a821284c4993f0d4fb2afe360c8d0e425073d /debian/dirs | |
| parent | 79c166377669e7d12f522c1e4cffcd86bf933625 (diff) | |
| download | tkzinc-4843d2089fd5e0b58bae23a50682d410251cc310.zip tkzinc-4843d2089fd5e0b58bae23a50682d410251cc310.tar.gz tkzinc-4843d2089fd5e0b58bae23a50682d410251cc310.tar.bz2 tkzinc-4843d2089fd5e0b58bae23a50682d410251cc310.tar.xz | |
- ajout d'un help
- ajout d'une option out pour modifier le fichier de log
par default le fichier de log est maintenant no-crash-<zincVersion>.log
- on teste un peu les maps infos
- suppression de code dupliqu� (verifying_item_completion)
- ajout d'un message de log au d�but et � la fin de chaque ensmeble de tests
Diffstat (limited to 'debian/dirs')
0 files changed, 0 insertions, 0 deletions