diff options
author | Aleksey Kladov <[email protected]> | 2021-03-31 11:24:08 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2021-03-31 11:24:08 +0100 |
commit | 5c0c09c9c32231843b22a17a467c4170530bd220 (patch) | |
tree | b26851b7db13320bc78e48a354f6cb9d318d96ec /.github | |
parent | 2436621b6c5e636fa112cd5abfdd03511c9561e0 (diff) |
internal: document semantics for missing names
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions