[nongnu] elpa/idris-mode 60cf567d2e 3/6: Update idris-settings.el

[ELPA Syncer]

branch: elpa/idris-mode
commit 60cf567d2e61ebb5a8aa5b98486a910e2ab6d0b3
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Update idris-settings.el
---
 idris-settings.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/idris-settings.el b/idris-settings.el
index c67eaf9fd2..4eabb7c5ac 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -303,8 +303,8 @@ By default we assume Idris' default configuration home is:
   $HOME/.idris/idris-history.eld.
      
 If you have installed/configured Idris differently, or are 
-using Idris2, then you may wish to customise this variable.
-"
+using Idris2, then you may wish to customise this variable."
+
   :type 'string
   :group 'idris-repl)