Subversion Repositories wimsdev

Last modification

• Rev 12714 2018-05-14 08:40:50
• Author: bpr

• Log message:

  [tablesort] change the value of table_hdtr ; one must have only one
  $table_hdtr by table (if not tablesort does not work well).