i hate this

testing idris2 syntax
2021-06-02 03:12:39 +00:00 · 2021-05-26 02:19:13 +00:00
1 changed files with 0 additions and 1 deletions
--- a/overlay.nix
+++ b/overlay.nix
@ -10,7 +10,6 @@ customPlugins: self: super: {
            "vimwiki"
            "slimv"
            "vim-racket"
-            "idris2"
          ];
        };
        customRC = ''
Author	SHA1	Message	Date
Thorn Avery	28ee4ba605	i hate this	2021-06-02 03:12:39 +00:00
Thorn Avery	5ea5a27aad	testing idris2 syntax	2021-05-26 02:19:13 +00:00