diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 13:06:27 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-07 13:06:27 +0100 |
| commit | 65df310cb360613777c165ff3328ac075d4b0fc0 (patch) | |
| tree | 0a75d8562df6d68d1011c4950885d91e7ec4cdac /home/pkgs/firefoxPackages/shell.nix | |
| parent | e5a05c8dbad3b3e0637fc1b123e67f6af41da095 (diff) | |
load emacs mode for why3 in ~/.emacs.d
Diffstat (limited to 'home/pkgs/firefoxPackages/shell.nix')
0 files changed, 0 insertions, 0 deletions