diff options
| author | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-03-30 15:25:06 -0400 |
| commit | 9df5ff6abc6e95c766d1907c5a9fee00730e749a (patch) | |
| tree | 8614095c2c2a3a5cd195f9e6da53f47c88891381 /documentation/bookmark/back_end | |
| parent | 8ebc505f1be8e103039d220b2d824dd687777f24 (diff) | |
Re-named ffi.as to "is", and ffi.check to "as", to line the names up with normal type-annotation macros.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions