rhiannon morris 8d61704813 change highlight categories		2023-11-05 12:10:48 +01:00
..
idris2.vim	change highlight categories	2023-11-05 12:10:48 +01:00
lidris2.vim	Further "Idris" -> "Idris 2" renamings were done	2020-05-19 18:32:37 +03:00