![[Jenkins]](/hudson/static/7d48cf42/images/svgs/logo.svg){kind=logo}
Summary
- name server thread (commit: ddb1727) (details)
| The file was modified | de.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/LanguageServer.java (diff) |
| The file was modified | de.peeeq.wurstscript/src/de/peeeq/wurstio/languageserver/LanguageServer.java (diff) |