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