diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-01-10 17:52:18 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-01-10 17:52:18 +0000 |
| commit | 8711de89810f1cd6782d98e0e4745c30532a77ac (patch) | |
| tree | fd99c496f52eeaaa2dee10cfb71ea2dc9580bae8 /src/main/resources/python/runtime | |
| parent | 7dab9cb11a7181094144e4319716c4d91262a289 (diff) | |
Support type literals in the backends
Diffstat (limited to 'src/main/resources/python/runtime')
| -rw-r--r-- | src/main/resources/python/runtime/java/lang/String.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main/resources/python/runtime/java/lang/String.py b/src/main/resources/python/runtime/java/lang/String.py new file mode 100644 index 0000000..9a1e025 --- /dev/null +++ b/src/main/resources/python/runtime/java/lang/String.py @@ -0,0 +1,2 @@ +class String(object): + pass
\ No newline at end of file |