Rev 35 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
# content of the file: initialisation of the problem.
status=waiting
wims_module_log=$cmd