Eeshan Garg 3bab91079f external links: Migrate the rest of /developer-community links. ... We recently changed /developer-community to /development-community. Now that this change is in production, we can also migrate the external links in our ReadTheDocs documentation.		2021-12-09 12:14:26 -08:00
..
communities.md	external links: Migrate the rest of /developer-community links.	2021-12-09 12:14:26 -08:00
lean-case-study.md	portico: Add Rust case study.	2021-11-24 15:17:33 -08:00
rust-case-study.md	portico: Add Rust case study.	2021-11-24 15:17:33 -08:00
tum-case-study.md	links: Rename developer-community -> development-community.	2021-12-01 13:41:46 -08:00
ucsd-case-study.md	terminology: Use the term "global time" to refer to time widget.	2021-11-07 09:48:20 -08:00