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