diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-02-23 14:47:44 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-02-23 14:47:44 +0100 |
commit | 4a51e331051e3fa5be10f4962c3834b524f58ab0 (patch) | |
tree | ba13f0c488a7681ddc91aa1a71c31628110b4eb7 /AUTHORS | |
parent | 3219c14674743302f943c3884e8383de4c4427e6 (diff) |
actually disable 100 continue
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions