| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2021-12-11 | set default editor in why3 | Quentin Aristote | |
| 2021-12-03 | move the source of venv-manager to the ./config dir | Quentin Aristote | |
 |
index : latitude-7490 | |
| NixOS configuration for a Dell Latitude 7490. |
| summaryrefslogtreecommitdiff |