Bjørn Erik Pedersen a7e3da242f
markup: Rename Header(s) to Heading(s) in ToC struct
Because that is what it is.
2021-06-19 18:19:46 +02:00
..
2021-06-14 17:00:32 +02:00
2021-06-14 17:00:32 +02:00
2020-12-19 17:03:07 +01:00
2021-06-14 17:00:32 +02:00
2021-06-14 17:00:32 +02:00
2021-06-14 17:00:32 +02:00
2020-12-30 17:32:25 +01:00
2021-01-01 11:50:13 +01:00
2021-06-14 17:00:32 +02:00
2020-12-03 13:12:58 +01:00