Revision 9fcd1d2cf7292956ac5dfd092eb17bbf01a5893c authored by Nicolas Jeannerod on 25 November 2023, 10:04:11 UTC, committed by GitHub on 25 November 2023, 10:04:11 UTC
1 parent b2d2e66
| File | Mode | Size |
|---|---|---|
| devShell.nix | -rw-r--r-- | 634 bytes |
| lib.nix | -rw-r--r-- | 415 bytes |
| package-website.nix | -rw-r--r-- | 1.0 KB |
| pre-commit-settings.nix | -rw-r--r-- | 171 bytes |
Computing file changes ...
