3 Commits

Include renames

Author	SHA1	Message	Date
Julien Robert	0dbae701f0	docs: minor documentation improvements (#13594) ... * updates * rename `sh` to `shell` for syntax coloring * keep navbar the same on mobile	2022-10-19 14:56:29 +02:00
Julien Robert	6fdcbfd3ab	docs: small ui fixes (#13546) ... * docs: small ui fixes * updates	2022-10-13 19:58:25 +00:00
Julien Robert	a74989ddf4	feat: migrate to docusaurus (#13471)	2022-10-10 14:01:53 +00:00