Subversion Repositories wimsdev

Last modification

• Rev 11060 2016-10-21 08:39:25
• Author: obado

• Log message:

  [bugfix] corrects a bug introduced in r. 11038 in mkindex, causing ".users" file not being well constructed for classes with more than 500 users (+indentetion uniformization)