Add removed id

brijkapadia · brijkapadia · commit 4fed184ba0f4 · 2026-04-16T22:37:07.000-04:00
diff --git a/Doc/tools/removed-ids.txt b/Doc/tools/removed-ids.txt
@@ -1 +1,2 @@
 # HTML IDs excluded from the check-html-ids.py check.
+library/dis.html: opcode-DELETE_NAME

Original file line number	Diff line number	Diff line change
`@@ -1 +1,2 @@`
`1`	`1`	`# HTML IDs excluded from the check-html-ids.py check.`
	`2`	`+library/dis.html: opcode-DELETE_NAME`