2 commits

Author	SHA1	Message	Date
Romain	cc1cb77abb	Clean and avoid collisions of anchors in option tables	2025-10-13 11:34:04 +02:00
Nicolas Mengin	c294b87a45	Add an anchor on the options names.	2025-09-09 17:26:05 +02:00