# Tools configuration (used at first startup for each user)
# $Id: outils 2551 2006-12-07 11:33:42Z courtois $
#
astkrc_version : 1.1
#
nom : Gmsh
cmde : /usr/local/aster/outils/gmsh (@F)
ext : geo msh pos
dist : on
#
nom : Gibi
cmde : /usr/local/aster/outils/gibi.x (@F)
ext : datg dgibi
dist : on
#
nom : Grace
cmde : /usr/local/aster/outils/xmgrace (@F)
ext : dat
dist : on
#
nom : Stanley
cmde : /usr/local/aster/outils/../../STA14.6/bibpyt/Stanley/stanley.py
ext : _VIDE
dist : off
#
