Subversion Repositories wimsdev

Last modification

• Rev 13757 2019-03-31 08:02:35
• Author: bpr

• Log message:

  [workinprogress] add a wims command to translate html characters for latex print.
  (name is not definitive).