Gitiles
Code Review
Sign In
gerrit.omnirom.org
/
android_external_vim
/
d6c7913e24e07c1d0ea099cda85e0014e8627c5c
/
runtime
/
syntax
/
lidris2.vim
5ca8f22
runtime(idris2): include filetype,indent+syntax plugins for (L)Idris2 + ipkg
by Serhii Khoma
ยท 9 months ago