Dev 0.12 merge to 0.12 #4

Merged

wyj merged 6 commits from dev-0.12 into 0.12

2026-05-28 13:34:17 -04:00

Author	SHA1	Message	Date
wyj	31a8f3d4f1	update: update lazy-lock.json	2026-05-27 23:00:53 -04:00
wyj	da5b687279	update: specifing mocha flavor	2026-05-27 23:00:33 -04:00
wyj	371c56a71a	Merge remote-tracking branch 'origin/dev-0.11' into dev-0.12	2026-05-27 15:31:04 -04:00
wyj	b59fc43f5e	update: add tex and markdown extras	2026-05-27 15:20:53 -04:00
wyj	bdf22a3f97	update: add rainbow delimiters	2026-05-27 15:02:39 -04:00
wyj	55f012001f	update: add extra: mini-hipatterns	2026-05-25 06:16:48 -04:00