diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-16 22:21:18 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-16 22:21:18 +0100 |
| commit | 19922fa0464752b989268778e8d6a13eb0fe4964 (patch) | |
| tree | 5e40820d4b312b6c5dbbfbaae5d0e2103bf4ae3c /src/include/platform.h | |
| parent | a9ae2171b897dfc9635e9ab72a04d65379bf2208 (diff) | |
pointless to check denom_sig, do not return
Diffstat (limited to 'src/include/platform.h')
0 files changed, 0 insertions, 0 deletions