Rev 35 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
# This file is read by wims for new sessions.
# content of the file: initialisation of the problem.
status=waiting
wims_module_log=$cmd