Started 5 yr 6 mo ago
Took 2.6 sec on Rechenknecht

Build info.textgrid.lab.dictionarysearchmask (Sep 19, 2018, 5:33:57 PM)

Changes
  1. Revert "Revert "Revert "Included new icons (automatically).""" (details)