diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 02:52:25 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-07-11 02:52:25 -0300 |
| commit | 59c3b1a20aae2ef9c45e74d454337c07aa43f59e (patch) | |
| tree | cd6b687c4d61b64731405a017668e2380c68ed9c /.gitignore | |
| parent | e3ff4fe110d530713fa0c86522d22395f164769a (diff) | |
| download | SOL-59c3b1a20aae2ef9c45e74d454337c07aa43f59e.tar.gz SOL-59c3b1a20aae2ef9c45e74d454337c07aa43f59e.zip | |
nix flake with dune and rocq development environment
Diffstat (limited to '')
| -rw-r--r-- | .gitignore | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..5059366 --- /dev/null +++ b/.gitignore @@ -0,0 +1,6 @@ +CLAUDE.md +.claude +_build/ +*.install +.direnv/ +result |