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