diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -11,6 +11,7 @@ run | |||
| 11 | shell/lasttest.out | 11 | shell/lasttest.out |
| 12 | shell/lasttest.err | 12 | shell/lasttest.err |
| 13 | tables/* | 13 | tables/* |
| 14 | tables-old/* | ||
| 14 | test/*/runtest | 15 | test/*/runtest |
| 15 | test/.DS_Store | 16 | test/.DS_Store |
| 16 | test/run | 17 | test/run |