summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLinus Nordberg <linus@sunet.se>2019-07-01 15:01:20 +0200
committerLinus Nordberg <linus@sunet.se>2019-07-01 15:01:20 +0200
commitee59ec532e3a701b42d0e0861c67656c89b3db9e (patch)
treeb30739ad58bd95f4092255caafc38105ecde551e /doc
parent4dbfba56a3442d096cc458d0b34bef1d0a7a85ca (diff)
clarify that return value from terminate/2 is ignored
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions