Giuseppe Lomurno 05cdd9ff47 Added %tcinline pragma		2020-05-22 18:18:37 +02:00
..
idris2.vim	Added %tcinline pragma	2020-05-22 18:18:37 +02:00
lidris.vim	Initial version	2020-02-22 20:32:56 +00:00