Ivan Tham 9a32617b30 Rename play macro to replay macro ... Macro needs to be defined first before playing so replay is more accurate. Also, replay have the same length as record which makes it looks nice.		2021-12-27 10:13:18 +09:00
..
src	Rename play macro to replay macro	2021-12-27 10:13:18 +09:00
theme	Update mdbook style and fix unreadable table head (#806)	2021-10-09 20:35:27 +09: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