diff scripts/launch_generate100.py @ 416:5f9d04dda707

Correction d'une erreur pour pinch et ajout d'une ref bibliographique
author fsavard
date Thu, 29 Apr 2010 18:26:30 -0400
parents 543ae35e387e
children
line wrap: on
line diff