Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove custom.el | Yann Herklotz | 2021-10-15 | 1 | -16/+0 |
* | Fix slowdowns in coq-mode | Yann Herklotz | 2021-10-15 | 1 | -0/+16 |
* | Adding more changes to emacs | Yann Herklotz | 2021-09-08 | 1 | -50/+0 |
* | Adding more changes to emacs | Yann Herklotz | 2021-09-08 | 1 | -0/+50 |