Update removed-ids.txt

aisk · aisk · commit 6584ce6e411a · 2026-04-11T22:30:19.000+08: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_ATTR

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_ATTR`