[emacs][wip] fix proof general

[~bandali/configs] / .gitignore

diff --git a/.gitignore b/.gitignore
index d949b2b..4303fd1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -3,8 +3,14 @@
 /early-init.el
 /init.el
 
+/straight/*
+!/straight/versions
+
 /var/*
+/var/eshell/lastdir
 /var/eshell/history
 
 !/var/eshell
 !/var/eshell/alias
+
+!/var/abbrev.el