localPackages.biu: merge repo

This commit is contained in:
2024-04-02 11:08:47 +08:00
parent 3087681a19
commit 4e7ae53b3d
31 changed files with 1732 additions and 19 deletions

1
.gitignore vendored
View File

@@ -1,3 +1,4 @@
result
result-man
outputs
.direnv