diff options
Diffstat (limited to 'icefuzz/pinloc/.gitignore')
| -rw-r--r-- | icefuzz/pinloc/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/icefuzz/pinloc/.gitignore b/icefuzz/pinloc/.gitignore index e80f14d..e87b7b2 100644 --- a/icefuzz/pinloc/.gitignore +++ b/icefuzz/pinloc/.gitignore @@ -4,4 +4,5 @@ pinloc-*.exp.new pinloc-*.log pinloc-*.pcf pinloc-*.rpt +pinloc-*.txt pinloc-*.v |