scripts

Author	SHA1	Message	Date
Jeremie Dimino	072d2a9609	Correction. Le choix par defaut ne marchait pas. darcs-hash:20071218005218-af139-a0606ebac7075654f6fc833b7e1ca97cbfd31cb9.gz	2007-12-18 01:52:18 +01:00
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