Remove orphaned Inherit non-terminal

whatwg · Jul 31, 2017 · c21e78c · c21e78c
1 parent fb40c8e
commit c21e78c
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/index.bs b/index.bs
@@ -1518,12 +1518,6 @@ are applicable only to regular attributes:
         "required"
 </pre>
 
-<pre class="grammar" id="prod-Inherit">
-    Inherit :
-        "inherit"
-        ε
-</pre>
-
 <pre class="grammar" id="prod-ReadOnly">
     ReadOnly :
         "readonly"