Mathijs Kwik 8fad5a72ec add emacs/idris-mode		2014-01-07 07:16:47 +01:00
..
default.nix	add emacs/idris-mode	2014-01-07 07:16:47 +01:00