diff options
author | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
commit | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (patch) | |
tree | b042049a8ff6036007d57c8253ce203a1ed90744 /documentation/bookmark/correctness | |
parent | 220c804f9136c73058802575ee49f3f769d5599f (diff) |
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
Diffstat (limited to 'documentation/bookmark/correctness')
0 files changed, 0 insertions, 0 deletions