Package com.google.devtools.common.options.proto

package com.google.devtools.common.options.proto

Class	Description
OptionFilters
OptionFilters.OptionEffectTag	Docs in java enum.
OptionFilters.OptionMetadataTag	Docs in java enum.