1
# Tools configuration (used at first startup for each user)
2
# $Id: outils 2551 2006-12-07 11:33:42Z courtois $
7
cmde : ?TOOLS_DIR?/eficas (@F)
8
ext : comm com0 com1 com2
12
cmde : ?TOOLS_DIR?/gmsh (@F)
17
cmde : ?TOOLS_DIR?/gibi.x (@F)
22
cmde : ?TOOLS_DIR?/xmgrace (@F)