diff options
| author | Michael Williamson <mike@zwobble.org> | 2016-04-30 15:45:26 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2016-04-30 15:45:26 +0100 |
| commit | 0826777503c0279a3ffe41e494c6b0490ec06779 (patch) | |
| tree | c11812bbfb7829dfd6723466ebe359bf8402f924 /src/main/resources/python/runtime/java/lang/String.py | |
| parent | c041a56e321bf0370d6b6e01ef7b12cdbe2ab8e5 (diff) | |
Move Python runtime into correct package
Diffstat (limited to 'src/main/resources/python/runtime/java/lang/String.py')
| -rw-r--r-- | src/main/resources/python/runtime/java/lang/String.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/main/resources/python/runtime/java/lang/String.py b/src/main/resources/python/runtime/java/lang/String.py deleted file mode 100644 index 9a1e025..0000000 --- a/src/main/resources/python/runtime/java/lang/String.py +++ /dev/null @@ -1,2 +0,0 @@ -class String(object): - pass
\ No newline at end of file |