Editorial: add IDL index

w3c · Sep 20, 2018 · e47e469 · e47e469
1 parent 973ce7a
commit e47e469
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/index.html b/index.html
@@ -740,5 +740,6 @@ <h2>
         of this document.
       </p>
     </section>
+    <section id="idl-index" class="appendix"></section>
   </body>
 </html>