Michael Färber 60f1d8f9b5 Prepend section numbers to headings in HTML output. (#5522)		2024-12-04 16:55:37 +00:00
..
src	Prepend section numbers to headings in HTML output. (#5522)	2024-12-04 16:55:37 +00:00
translations	Add Bulgarian translation entries (#5476)	2024-11-27 11:14:20 +00:00
Cargo.toml	Use `codex` for symbols (#5421)	2024-11-17 19:08:23 +00:00