+3 −3 idris2-commands.el

+0 −1 idris2-mode.el

+1 −1 idris2-repl.el