Ignore an autogenerated file

egonw · Mar 26, 2023 · af88356 · af88356
1 parent 6707906
commit af88356
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -14,3 +14,4 @@ figures.txt
 sections.txt
 minor.version
 scripts.txt
+code/ctr/ctr4.sdf