diff options
Diffstat (limited to 'picorv32/scripts/tomthumbtg/.gitignore')
| -rw-r--r-- | picorv32/scripts/tomthumbtg/.gitignore | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/picorv32/scripts/tomthumbtg/.gitignore b/picorv32/scripts/tomthumbtg/.gitignore deleted file mode 100644 index c1e6b04..0000000 --- a/picorv32/scripts/tomthumbtg/.gitignore +++ /dev/null @@ -1,15 +0,0 @@ -testbench_a -testbench_b -testbench_c -testbench_d -testbench_e -testbench_f -testbench_g -testbench_h -testbench_i -testbench_j -testbench_k -testbench_l -testgen.tgz -testgen -tests |