d0acc29331
index change and tree changes
97c865358f
add dap and lsp now works properly
8404fbef38
fix gpg by exporting things
2e81410ff0
remove cargo dir because this breaks portage
c436ad984f
update coq and autopairs settings
7a4cdd6922
sign with gpg and update autopairs things.
ce1e687737
add gitignore and remove cow in coq