index

2026-08-09 19:56:06 +02:00
parent 37468d4fa0
commit cee2f452aa
15 changed files with 71 additions and 70 deletions
@@ -20,7 +20,7 @@ This module exports the @racket[wv-settings%] class, which provides a small
 object-oriented interface over an @racket[ini] settings backend. Settings are
 accessed relative to a context.

-@section{Overview}
+@section[#:tag "wv-settings-overview"]{Overview}

 A @racket[wv-settings%] object combines: