fixed bug when snapping envelope (introduced by commit 931d95b5)
[rocksndiamonds.git] / docs / elements / mm_polarizer.txt
2018-03-23 Holger Schemelfixed name of element 'polarisator' to 'polarizer'