17372Fermer17374
GodzilLe 12/07/2011 à 15:43
echo $EXEC_LIST > exec-list.txt