| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-07 | load emacs mode for why3 in ~/.emacs.d | Quentin Aristote |
| 2021-08-06 | initial commit | Quentin Aristote |
 |
index : latitude-7490 | |
| NixOS configuration for a Dell Latitude 7490. |
| summaryrefslogtreecommitdiff |
|
index : latitude-7490 | |
| NixOS configuration for a Dell Latitude 7490. |
| summaryrefslogtreecommitdiff |
| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-12-07 | load emacs mode for why3 in ~/.emacs.d | Quentin Aristote |
| 2021-08-06 | initial commit | Quentin Aristote |