From 43aa04e876655e31fc1c4b2b5ae0702472e49102 Mon Sep 17 00:00:00 2001 From: Mak Kolybabi Date: Wed, 3 Oct 2018 08:38:50 -0500 Subject: [PATCH] comp[]hensive -> comp[r]ehensive --- doc/editors.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/editors.html b/doc/editors.html index 6f787864c60..4ff35a58fc1 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.