Merge pull request #671 from coq-community/fix-typo-readme

Fix typo
coq · Oct 17, 2023 · faee737 · faee737
2 parents 650189f + 3a22332
commit faee737
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -135,7 +135,7 @@ After installation and activation of the extension:
 * `"vscoq.completion.algorithm": StructuredSplitUnification | SplitTypeIntersection` -- Which completion algorithm to use
 * `"vscoq.completion.unificationLimit": int` -- Sets the limit for how many theorems unification is attempted
 
-## For extension developpers 
+## For extension developers 
 See [Dev docs](https://github.com/coq-community/vscoq/blob/main/docs/developers.md)
 
 ## License