1# Tools configuration (used at first startup for each user) 2# $Id: outils 2551 2006-12-07 11:33:42Z courtois $ 3# 4astkrc_version : 1.1 5# 6nom : Gmsh 7cmde : ?TOOLS_DIR?/gmsh (@F) 8ext : geo msh pos 9dist : on 10# 11nom : Gibi 12cmde : ?TOOLS_DIR?/gibi.x (@F) 13ext : datg dgibi 14dist : on 15# 16nom : Grace 17cmde : ?TOOLS_DIR?/xmgrace (@F) 18ext : dat 19dist : on 20# 21nom : Stanley 22cmde : ?TOOLS_DIR?/../../?vaster?/bibpyt/Stanley/stanley.py 23ext : _VIDE 24dist : off 25# 26