diff options
| author | Lingkang <karlzhu12@gmail.com> | 2024-08-16 03:53:59 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-15 19:53:59 +0000 |
| commit | 0edd8ec93d16a397e58cebaa215b6c14cd24de8f (patch) | |
| tree | b8152006cb1d46d2772868e365168d1529a32618 /tools | |
| parent | ccd45241061be149687aec04db43dec96d8a961d (diff) | |
Improve `repr` for `type(none)` and `type(auto)` (#4730)
Co-authored-by: Laurenz <laurmaedje@gmail.com>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions