Daniel Ebert dc443487d4 Slightly change the behavior of the @stop-extend capture. ... This improves the behavior in case of multiple nested extensions.		2022-10-11 16:48:04 +09:00
..
src	Slightly change the behavior of the @stop-extend capture.	2022-10-11 16:48:04 +09:00
theme	fix typos (#2304)	2022-04-27 14:21:20 -05:00
.gitignore	Add book/ (mdbook based user guide)	2021-04-05 15:48:08 +09:00
book.toml	Improve docs, fix up a few highlight scopes	2021-09-07 13:03:48 +09:00