two more occurences of "options" removed

Authored by schmeisser on May 5 2019, 11:38 AM.

Description

two more occurences of "options" removed

Details

Committed
schmeisserMay 5 2019, 11:38 AM
Parents
R23:a5fc120017bf: fix comment
Branches
Unknown
Tags
Unknown