diff options
| author | Christian Grothoff <christian@grothoff.org> | 2024-08-24 23:06:14 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2024-08-24 23:06:14 +0200 |
| commit | 02a1f91a35b5f57d4b551683ea120bfd1f351a2e (patch) | |
| tree | df4bd65f4c207baf6ac530fb9889df5b2ded7cc9 /doc | |
| parent | 88a599d031dbc559b6a9f5f5c1a5803aa18b86ba (diff) | |
check return values
Diffstat (limited to 'doc')
| m--------- | doc/prebuilt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/prebuilt b/doc/prebuilt -Subproject ab2e09b5a3711ab04f1f77f79158cc006cab319 +Subproject c1a885ac1f9d9b2fdef19a976bed01dab4f7d85 |