| Age | Commit message (Expand) | Author |
|---|---|---|
| 2022-06-30 | home: emacs: disable native comp | Quentin Aristote |
| 2021-12-11 | move link to why3 lib in why3 spacemacs layer | Quentin Aristote |
| 2021-12-07 | load emacs mode for why3 in ~/.emacs.d | Quentin Aristote |
| 2021-08-06 | initial commit | Quentin Aristote |
 |
index : precision-3571 | |
| NixOS configuration for a Dell Precision 3571. |
| summaryrefslogtreecommitdiff |