Add custom IDs to documentation properties for improved cross-referencing.
authorSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Fri, 20 Feb 2026 23:19:24 +0000 (01:19 +0200)
committerSvjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Fri, 20 Feb 2026 23:19:24 +0000 (01:19 +0200)
commitecd547bf125b883879adce8c9c3bdc8c12a89f42
treeb5808929317255e0f3e14edcda0acadaacfbd36e
parentf199acf5dfc53ca887b84022043af52fa28f3fa3
Add custom IDs to documentation properties for improved cross-referencing.
doc/index.org
doc/language.org
doc/opcodes_00_09.org
doc/virtual machine.org