diff --git a/etc/schema.json b/etc/schema.json index d13d834256..9fd4f6d48e 100644 --- a/etc/schema.json +++ b/etc/schema.json @@ -3048,9 +3048,6 @@ "time_limit": { "type": "integer" }, - "types_online": { - "type": "boolean" - }, "types_only": { "type": "boolean" }