options.cc: remove a whitespace

This commit is contained in:
Benitoite
2020-02-17 14:55:01 -08:00
committed by GitHub
parent b27c78916e
commit 9047e89bd3