diff options
author | Christian Grothoff <christian@grothoff.org> | 2020-12-26 16:23:37 +0100 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2020-12-26 16:23:37 +0100 |
commit | df1fecf0954b831e59b906f0aad3b9e3c9d8f494 (patch) | |
tree | b072ae3d48b4a841734609054a073cb2cf8f9ea8 /design-documents | |
parent | f1ea2a18ea1e0dbe70b4259f4b02343aa2233858 (diff) | |
download | docs-df1fecf0954b831e59b906f0aad3b9e3c9d8f494.tar.gz docs-df1fecf0954b831e59b906f0aad3b9e3c9d8f494.tar.bz2 docs-df1fecf0954b831e59b906f0aad3b9e3c9d8f494.zip |
document new failure case
Diffstat (limited to 'design-documents')
0 files changed, 0 insertions, 0 deletions