Marco Ricci
Harmonize coverage exclusion markers (and fix one slipup)
6da7a92 @ 2026-06-13 21:28:11
| .. | ||
|---|---|---|
| partials | Embed our "wishlist" branch in the documentation | 2025-06-01 23:05:23 |
| main.html | Remove JavaScript and external fonts from documentation site | 2024-07-21 23:40:08 |
| redirect.html | Remove JavaScript and external fonts from documentation site | 2024-07-21 23:40:08 |