diff options
| author | Michael Williamson <mike@zwobble.org> | 2015-10-31 12:59:29 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2015-10-31 12:59:29 +0000 |
| commit | a4ffd9468c4bf3bd9da9b40cb336eb91bfdbf987 (patch) | |
| tree | ec312921b0348e227d62b3007348ff7c11fbba10 /.settings/org.eclipse.core.resources.prefs | |
| parent | cc7e5865de3e68c1ec2a5a12d40a7925d7b95e2d (diff) | |
Move Python runtime into resources
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
| -rw-r--r-- | .settings/org.eclipse.core.resources.prefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs index f9fe345..839d647 100644 --- a/.settings/org.eclipse.core.resources.prefs +++ b/.settings/org.eclipse.core.resources.prefs @@ -1,4 +1,5 @@ eclipse.preferences.version=1 encoding//src/main/java=UTF-8 +encoding//src/main/resources=UTF-8 encoding//src/test/java=UTF-8 encoding/<project>=UTF-8 |