Skip to content

Remove emacs headers and put visual-line-mode in .dir-locals.el#2102

Merged
jdchristensen merged 1 commit intoHoTT:masterfrom jdchristensen:emacs-headersSep 26, 2024
+4-154

Commits