[nongnu] elpa/idris-mode updated (993c862b7f -> fdbd019cb2)

[ELPA Syncer]

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

      from  993c862b7f Merge pull request #568 from keram/case-dwin-issue-465
       new  86c2fd294c Remove idris-tests2.el in favour of using idris-tests.el
       new  a05c2c5fc9 Merge pull request #571 from 
keram/unify-tests-for-idris-1-and-2
       new  8ff4a2d9d5 Reset `idris-protocol-version*` vars to 0 on quit
       new  e350ed25a5 Update `idris-compile-and-execute` for Idris2
       new  fdbd019cb2 Merge pull request #573 from 
keram/backport-idris2-compile-and-execute


Summary of changes:
 Makefile          |   3 +-
 idris-commands.el |  13 +++--
 idris-tests.el    |   5 +-
 idris-tests2.el   | 170 ------------------------------------------------------
 4 files changed, 13 insertions(+), 178 deletions(-)
 delete mode 100644 idris-tests2.el