2 commits

Author	SHA1	Message	Date
Jeremie Dimino	20d5ced53f	Gestion du cas ou ne peut pas demander les proprietes du terminal. ... Par exemple lors d'un push. darcs-hash:20071218004712-af139-54dc08defd43e8fec7cfbd03ea1ea212b2e3d7ad.gz	2007-12-18 01:47:12 +01:00
Jeremie Dimino	49f0fbb4a3	Module pour faire facilement des scripts interactifs. ... darcs-hash:20071217063153-af139-ab0ac6f47ecbc8aba1537658774c9be84c6526b3.gz	2007-12-17 07:31:53 +01:00