Subversion Repositories wimsdev

Last modification

• Rev 13034 2018-06-22 14:49:00
• Author: bpr

• Log message:

  [minor] transfer the part of mkindex which does need developer tools in
  mkattribut