diff options
| author | Aleksey Kladov <[email protected]> | 2020-10-06 19:06:14 +0100 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2020-10-06 19:06:14 +0100 |
| commit | d7991f5f21c11d4d2498a3d2720fbfd490364d36 (patch) | |
| tree | 5f37dcd9202f991ec40ca28b4a1653aa60697849 /.github | |
| parent | 57735f2a32138d552c51c4b2de04bcd56650db15 (diff) | |
Document privacy invariant of SyntaxPtr
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions