Subversion Repositories wimsdev

Last modification

• Rev 17053 2022-09-11 19:44:37
• Author: bpr

• Log message:

  [mkindex] fix bug in src2def when there is * in a language title