From 27e9ddee53b8fa43725f951434404691d8012190 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 12 Jul 2026 18:27:44 -0300 Subject: language server over stdio, emacs mode with repl and eglot wiring --- .gitignore | 1 + 1 file changed, 1 insertion(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index c7c6422..82ef7ee 100644 --- a/.gitignore +++ b/.gitignore @@ -7,3 +7,4 @@ result *.vo *.glob *.aux +*.elc -- cgit v1.2.3