diff --git a/doc/editors.html b/doc/editors.html index 6f787864c6..4ff35a58fc 100644 --- a/doc/editors.html +++ b/doc/editors.html @@ -28,7 +28,7 @@ or as a plugin for IntelliJ IDEA Ultimate
-Note that these are only a few top solutions; a more comphensive +Note that these are only a few top solutions; a more comprehensive community-maintained list of IDEs and text editor plugins is available at the Wiki.