Subversion Repositories wimsdev

Last modification

• Rev 11345 2017-02-24 13:53:48
• Author: bpr

• Log message:

  [minor] add charset="utf-8" in jsxgraph (called by direct exec)