tree 0473c14f007cb9217de36c24a07017c513acfb04
parent 050a7340f77e741af5efa2c8e7ace324ff495ff9
parent a84c7a94680a919b2d9195ae6f3adc620d074100
author Helge <stallkamp@ids-mannheim.de> 1635432803 +0200
committer Gerrit Code Review <gerrit2@korap.ids-mannheim.de> 1635432803 +0200

Merge "intro.js update and according changes to source (fixes #109)"