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
