types.optionSet: deprecate and remove last usages

2019-01-31 00:41:10 +02:00
parent aa2e63ce5e
commit 27982b408e
10 changed files with 45 additions and 55 deletions
@@ -48,8 +48,6 @@ rec {
    visible ? null,
    # Whether the option can be set only once
    readOnly ? null,
-    # Obsolete, used by types.optionSet.
-    options ? null
    } @ attrs:
    attrs // { _type = "option"; };