Rev 6217 | Go to most recent revision | Blame | Compare with Previous | Last modification | View Log | RSS feed
# Archivo de inicialización de archivos.
# Este archivo se lee en cada nueva sesión.
# content of the file: initialisation of the problem.
status=waiting
wims_module_log=$cmd