| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-10-23 | [lean] Initial configuration for lean-mode | Jakob L. Kreuze |
 |
index : .emacs.d.git | |
| My (somewhat documented) configuration for GNU Emacs. | Jakob L. Kreuze |
| summaryrefslogtreecommitdiff |
© 2015 - 2026 Jakob L. Kreuze