added using setup option for displaying overlay touch buttons
[rocksndiamonds.git] / docs / elements / df_steel_grid_rotating.txt
2018-03-23 Holger Schemelfixed name of element 'polarisator' to 'polarizer'
2018-03-23 Holger Schemeladded description files for Mirror Magic (and Deflektor...