From 2d3f31df29a6ae0f5ad8ca549f70207696543121 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Sat, 22 Feb 2020 20:34:56 +0000 Subject: [PATCH] Rename to idris2 --- syntax_checkers/{idris => idris2}/idris2.vim | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename syntax_checkers/{idris => idris2}/idris2.vim (100%) diff --git a/syntax_checkers/idris/idris2.vim b/syntax_checkers/idris2/idris2.vim similarity index 100% rename from syntax_checkers/idris/idris2.vim rename to syntax_checkers/idris2/idris2.vim