diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-03-28 21:39:34 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-03-28 21:39:34 +0100 |
| commit | b409d6a17e6aaf054876c7cc7fc08515d2315bbc (patch) | |
| tree | ddac964880b6bf1693735bdf9d8ef61835f18ab0 /src/testing | |
| parent | 28492256a5795ff2f72fbf181c15e84fd0d1dbff (diff) | |
permit subtraction to result in zero
Diffstat (limited to 'src/testing')
0 files changed, 0 insertions, 0 deletions