Commit 6dda3ec0 authored by vaclav's avatar vaclav
Browse files

add comments to options.h

parent 9179451f