e6918c7253
Fix #223: `demoteHeaders` should not modify anything in the document, apart from the headers |
||
---|---|---|
.. | ||
Core | ||
Preview | ||
Web | ||
Check.hs | ||
Commands.hs | ||
Init.hs | ||
Main.hs |
e6918c7253
Fix #223: `demoteHeaders` should not modify anything in the document, apart from the headers |
||
---|---|---|
.. | ||
Core | ||
Preview | ||
Web | ||
Check.hs | ||
Commands.hs | ||
Init.hs | ||
Main.hs |