Subversion Repositories wimsdev

Last modification

• Rev 13771 2019-04-02 07:59:17
• Author: obado

• Log message:

  [bugfix/docs] add "zip" and "tgz" extensions to href links in wims docs.
  + replace the adm/doc/primitives/href.phtml by a link to scripts/docu/primitives/href.phtml as it was exactly the same.
  + add some missing chars in htmlsymbs for html2iso conversion