chiark / gitweb /
Error handling: Provide err and ddbl_only, and an internal spec
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Dec 2019 00:26:16 +0000 (00:26 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 11:35:15 +0000 (11:35 +0000)
commit143bb5d7dfa60aa0549d934a2e9356961d97895a
treec1048bb8e7a0ab7c4bd4614ca75b2c977974fa70
parent57a9bee6bf459a1499729159007bfd95110b94e2
Error handling: Provide err and ddbl_only, and an internal spec

No callers of these yet.  The spec is honoured in the breach.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
generate