diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-04-09 12:28:19 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-04-09 12:28:19 +0100 |
| commit | f005b283a1b1c74c8b98499069e6afcb5e9a9ade (patch) | |
| tree | d56dfb884ba10225c7268e8b950f8ef826b51670 /src/main/resources/python/runtime | |
| parent | 8fe29f6add04fb9c2dbc3ad1d13d582787aa6e88 (diff) | |
Use Identifier instead of ScalarType in TypeParameter
Diffstat (limited to 'src/main/resources/python/runtime')
0 files changed, 0 insertions, 0 deletions