Jeremie Dimino d292d0ab92 Fichier de préférences de darcs. ... Pour avoir le même sur tout les serveurs. darcs-hash:20071217063845-af139-3ec68797448b83236eef21594c8cd1bbc106cfce.gz		2007-12-17 07:38:45 +01:00
..
needed.xml	Fichier de préférences de darcs.	2007-12-17 07:38:45 +01:00
utils.xml	Version explicite des paquets utiles.	2007-12-09 14:11:05 +01:00