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