Commit graph

1 commit

Author SHA1 Message Date
6bb5b16bd9 feat (home/shell): update alias 2025-12-26 12:15:12 +01:00
Renamed from devshells/why3/flake.nix (Browse further)