Skip to content

Disallow default_value and required for Option#88

Merged
TeXitoi merged 2 commits into
TeXitoi:masterfrom
Kerollmops:no-default-for-option
Apr 6, 2018
Merged

Disallow default_value and required for Option#88
TeXitoi merged 2 commits into
TeXitoi:masterfrom
Kerollmops:no-default-for-option

Add a line about `default_value` and `required` for Option in the cha…

5000840
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs