From 7b0442ecbbc832b9c4baab1513aae236a0afe9e0 Mon Sep 17 00:00:00 2001 From: Steve Macenski Date: Tue, 25 Aug 2026 10:09:43 -0700 Subject: [PATCH] Simplify wording in dev containers documentation Signed-off-by: Steve Macenski --- docs/getting_started/dev_container/index.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/getting_started/dev_container/index.md b/docs/getting_started/dev_container/index.md index 2f88c7ac4..bea8d5176 100644 --- a/docs/getting_started/dev_container/index.md +++ b/docs/getting_started/dev_container/index.md @@ -1,6 +1,6 @@ # Dev Containers { #dev-containers } -You can use dev containers to build the project if you prefer a streamlined setup experience. This means you can use the same tools and dependencies as the rest of the team, including our Continuous Integration (CI) workflows, without worrying about installing dependencies on your host machine. Additionally, using Dev Containers makes it simple to switch between local or remote development environments, such as GitHub Codespaces. +You can use dev containers to build the project if you prefer. This means you can use the same tools and dependencies as the rest of the team, including our Continuous Integration (CI) workflows, without worrying about installing dependencies on your host machine. Additionally, using Dev Containers makes it simple to switch between local or remote development environments, such as GitHub Codespaces. !!! info "See also"