summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorbd <bdunahu@operationnull.com>2025-04-17 19:39:06 -0400
committerbd <bdunahu@operationnull.com>2025-04-17 19:39:06 -0400
commit7ad6093d69afa90de243e72868f0d463dcd5eae7 (patch)
treebca1b4259ccdcfd4ac8d188383a922b88efaed1a /.gitignore
parent3b8a36443a6d83b54fc698a774ef50705f36dcb9 (diff)
Add new push/pop test case, ensure generated files end in .rv
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index ab65a90..7366cb7 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ manifest.scm
# generated
bin/
output/
+input/*.rv