Subversion Repositories wimsdev

Last modification

• Rev 10078 2016-05-15 07:55:00
• Author: bpr

• Log message:

  [minor] it is not good to redefine module_title, the title can
  be changed in the variable wims_title_title (see exec_title in exec.c)
  allow to keep the initial module_title for other uses.