| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-07-31 | Make a macro to easily select themes | Thomas Letan |
| 2022-07-31 | Revive Coq config from previous setup | Thomas Letan |
| 2022-07-31 | Disable native-comp warnings | Thomas Letan |
| 2022-07-31 | Shortcut to zoom and de-zoom in Emacs | Thomas Letan |
| 2022-07-31 | Add a reminder on how to inspect Emacs startup time with use-package | Thomas Letan |
| 2022-07-31 | Spellcheck the comment is important | Thomas Letan |
| 2022-02-06 | Refine the org-mode config to move tasks around more easily | Thomas Letan |
| 2022-02-06 | Move items around in Org mode | Thomas Letan |
| 2022-02-06 | Organize my life in plain-text, maybe | Thomas Letan |
| 2022-02-05 | Move more stuff in a dedicated file and improve comments | Thomas Letan |
| 2022-02-05 | Bootstrap a new configuration | Thomas Letan |