@srghma pushed 1 commit. 891f5e7c8aedc379429c94b91a0436fc7895ae90 runtime: add ftplugin, indent, syntax files for Idris2, Lidris2 Ipkg filetypes -> use idris2
-- View it on GitHub: https://github.com/vim/vim/pull/15993/files/91701a413eea790b61b09941a5af2b35ed2bf9d8..891f5e7c8aedc379429c94b91a0436fc7895ae90 You are receiving this because you are subscribed to this thread. Message ID: <vim/vim/pull/15993/before/91701a413eea790b61b09941a5af2b35ed2bf9d8/after/[email protected]> -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/vim_dev/vim/vim/pull/15993/before/91701a413eea790b61b09941a5af2b35ed2bf9d8/after/891f5e7c8aedc379429c94b91a0436fc7895ae90%40github.com.
