aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNathan Ringo <nathan@remexre.com>2024-01-17 09:16:47 -0600
committerNathan Ringo <nathan@remexre.com>2024-01-17 09:16:47 -0600
commit1cdb8d8f6c328037b8f1b9446a497e0e94861f19 (patch)
treebcd5273f7438976328431d612f10c6aa839beab3 /.gitignore
parent59accae1e5b6848592b0beaa6f0e6c481288d357 (diff)
Start of discocaml.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4c39c23..3476910 100644
--- a/.gitignore
+++ b/.gitignore
@@ -10,6 +10,7 @@ result
result-*
# Non-Nix outputs
+_build/
target/
# Configuration and state files