[nongnu] elpa/idris-mode updated (1adee4fe06 -> 1dc558ad24)

[ELPA Syncer]

elpasync pushed a change to branch elpa/idris-mode.

      from  1adee4fe06 Merge pull request #560 from keram/interactive-s-flag
       new  cd734fdc7a Compute file path to repl history file at runtime if
       new  9cf5fe3e70 Update idris-settings.el
       new  60cf567d2e Update idris-settings.el
       new  ea83139b39 Merge pull request #559 from keram/repl-history-file-f
       new  6dd87e13e8 [ testing ] apparently this makes test pass again.
       new  1dc558ad24 Merge pull request #561 from jfdm/fix-test


Summary of changes:
 idris-repl.el     | 19 ++++++++++++++-----
 idris-settings.el | 12 ++++++++++--
 idris-tests.el    |  2 +-
 3 files changed, 25 insertions(+), 8 deletions(-)