Commit 6d26055b authored Nov 16, 2016 by Andreas Klöckner

Merge branch 'de-cl-ify-options' into 'master'

Remove some CL terminology from options



See merge request !35