diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-02-13 15:52:18 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-02-13 15:52:18 +0100 |
| commit | cd17d095e8d542d6cef854e8394472364e9a01b9 (patch) | |
| tree | 967637e4c264bf68a5151e9ffd5269ee85beb1e8 /bootstrap | |
| parent | 7adf9f170fbc314cc699c347f4c338be045c385f (diff) | |
permit NULL trait
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions