aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 10 Pull Requests 1 Packages Projects Releases 1 Wiki Activity

Merge branch 'dev' into goal/relation

This commit is contained in:
Leni Aniva 2024-02-15 14:39:30 -08:00
parent 4acd367ca7 0254759581
commit 18c318cb73
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
flake.nix
View File

@ -29,7 +29,7 @@
};
in rec {
packages = project // {
inherit (leanPkgs) lean;
inherit leanPkgs;
default = packages.executable;
};
devShells.default = project.devShell;