# Tools configuration (used at first startup for each user)
# $Id: outils 2551 2006-12-07 11:33:42Z courtois $
#
astkrc_version : 1.1
#
nom : Eficas
cmde : ?TOOLS_DIR?/eficas (@F)
ext : comm com0 com1 com2
dist : on
#
nom : Gmsh
cmde : ?TOOLS_DIR?/gmsh (@F)
ext : geo msh pos
dist : on
#
nom : Gibi
cmde : ?TOOLS_DIR?/gibi.x (@F)
ext : datg dgibi
dist : on
#
nom : Grace
cmde : ?TOOLS_DIR?/xmgrace (@F)
ext : dat
dist : on
#
