diff options
| -rw-r--r-- | circuits/test_include.cir | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/circuits/test_include.cir b/circuits/test_include.cir deleted file mode 100644 index d40e7de..0000000 --- a/circuits/test_include.cir +++ /dev/null @@ -1 +0,0 @@ -include circuits/double_ring.cir |