diff options
| author | Glenn Smith <glenn@vector35.com> | 2022-06-28 14:47:55 -0400 |
|---|---|---|
| committer | Glenn Smith <glenn@vector35.com> | 2022-06-28 14:47:55 -0400 |
| commit | 0b667691e9dc087f9f78f0109623bdb7b7f291de (patch) | |
| tree | 8d10d3ae918c8373f6b36d71b17a5ce4e60ff53a /python/platform.py | |
| parent | 33094820efb4f3b712ac4fc57e1913590ba5835f (diff) | |
Rust API: Fix Type::parameters()
Diffstat (limited to 'python/platform.py')
0 files changed, 0 insertions, 0 deletions