Änderungen
Summary
- properly migrate player values from existing w3i, see #819 (commit: 9448120) (details)
de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/BuildMap.java (diff) | |
de.peeeq.wurstscript/build.gradle (diff) |
de.peeeq.wurstscript/src/main/java/de/peeeq/wurstio/languageserver/requests/BuildMap.java (diff) | |
de.peeeq.wurstscript/build.gradle (diff) |