Delete some things we should be putting in devshells, and move to ghostty (#108)

This commit is contained in:
Patrick Stevens
2025-01-06 23:46:35 +00:00
committed by GitHub
parent c45222500f
commit ca85c8de24
8 changed files with 20 additions and 34 deletions

1
.gitignore vendored
View File

@@ -3,3 +3,4 @@ result
bin/
obj/
.DS_Store
.direnv/