diff options
| author | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 19:18:11 +0100 |
|---|---|---|
| committer | Quentin Aristote <quentin@aristote.fr> | 2021-12-11 19:18:11 +0100 |
| commit | 62390a35835c4d0f6e3b901c02ac2fc38b90f376 (patch) | |
| tree | ff6d67c533379f4c209622b165f49a13a81cfc3f /home/config/i3/bar/shell.nix | |
| parent | 1a4ad01928ae316466f166c61060f57a39031b54 (diff) | |
move link to why3 lib in why3 spacemacs layer
Diffstat (limited to 'home/config/i3/bar/shell.nix')
0 files changed, 0 insertions, 0 deletions