fix typo reported by Kai Uwe Broulik, thanks

Description

fix typo reported by Kai Uwe Broulik, thanks

Details

Committed
lueckNov 19 2018, 9:04 AM
Parents
R883:1528779: translation update
Branches
Unknown
Tags
Unknown