Update INSTALL.md

coq-community · Jan 11, 2024 · cb535ea · cb535ea
1 parent 631bcb0
commit cb535ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/INSTALL.md b/INSTALL.md
@@ -11,7 +11,7 @@ systems.
 
 ### Via codespaces (browser setup)
 
-[Open codespaces](https://github.com/codespaces/new?skip_quickstart=true&machine=standardLinux32gb&repo=717137925&ref=master&devcontainer_path=.devcontainer%2Fdevcontainer.json&geo=EuropeWest) and create it.
+[Open codespaces](https://github.com/codespaces/new?skip_quickstart=true&machine=standardLinux32gb&repo=717137925&ref=master&devcontainer_path=.devcontainer%2Fdevcontainer.json&geo=EuropeWest) and click "Create codespace".
 
 ### Via VSCode and Docker (machine setup)