5 Commits

Author	SHA1	Message	Date
Ajay Singh	dc80f29b8a	docs: Fix typo.	2024-04-04 10:51:37 -07:00
Anders Kaseorg	e535c96e40	Upgrade development environment to Ubuntu 22.04. ... Signed-off-by: Anders Kaseorg <andersk@mit.edu>	2024-04-01 13:27:39 -07:00
Robert Dyer	eb2f1b4788	docs: Upgrade development environment page to use synced tabs. ... This greatly reduces how much content for other platforms a reader has to scroll past in order to get the development environment set up.	2024-03-22 16:54:57 -07:00
Robert Dyer	32c8d89eeb	docs: Cleanup setup-recommended.md. ... For consistency, using `console` instead of `bash` to show commands to run, and dropping the name "christie" from examples.	2024-03-15 17:37:34 -07:00
Robert Dyer	e367718283	docs: Refactor setup-recommended into includable files.	2024-03-15 17:37:34 -07:00