diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-06-02 08:59:18 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-06-02 08:59:18 +0200 |
| commit | b405b0287597b29f1b06b8c62b9bfc51f37de52c (patch) | |
| tree | 6eeba59e958fbbc58901cb00c6455e2d3dd7f133 /.gitignore | |
| parent | 026673bd37859969820d611fca062b878ec6321b (diff) | |
remove unnecessary check
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions