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"