#!/bin/sh

# purge des fichiers non indispensables
echo " --> Purge des fichiers"
rm -f *.BI *.PI *.msh *.opt *.her *.lis *.log *.cont *.ddl *.reac *.res *.isoe *.points ancienNom
rm -f *.txt~ *.opt~ *.geo~ *.info~ *.sh~ *.BI~ *.PI~ *.msh~ *.her~ *.lis~ *.log~
