Subversion Repositories wimsdev

Last modification

• Rev 15573 2020-12-10 11:45:44
• Author: bpr

• Log message:

  [src debug] add a variable tmp_debug_use_var: each time one of this variable is used,
  its value is put in the debugging trace.