diff options
author | Christian Grothoff <christian@grothoff.org> | 2016-05-02 08:46:17 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2016-05-02 08:46:17 +0200 |
commit | 31ad6aaf116d00cafa29efe659c3076da0d09692 (patch) | |
tree | 0e9b3a36911706d94928a7089b45d6cadb6e0b50 /.gitignore | |
parent | 5fd6a25c6d88c62af9fda04f92b954bb1dbb4436 (diff) |
separate interpreter from the rest of the test logic
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions