oysteikt/tapl-proofs
0
0
Fork 0
Code Issues Pull Requests Activity

.gitignore: ignore nix results and rocq caches

Browse Source
This commit is contained in:
Oystein Kristoffer Tveit
2026-07-01 02:35:41 +09:00
parent 354c7643f4
commit a3f2e8e62e
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.gitignore
+4
View File
@@ -0,0 +1,4 @@
*.cache
result
result-*