diff options
| author | Linus Nordberg <linus@sunet.se> | 2019-07-01 15:01:20 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@sunet.se> | 2019-07-01 15:01:20 +0200 |
| commit | ee59ec532e3a701b42d0e0861c67656c89b3db9e (patch) | |
| tree | b30739ad58bd95f4092255caafc38105ecde551e /doc | |
| parent | 4dbfba56a3442d096cc458d0b34bef1d0a7a85ca (diff) | |
clarify that return value from terminate/2 is ignored
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions