diff options
| author | Simon Rettberg | 2023-07-17 12:20:51 +0200 |
|---|---|---|
| committer | Simon Rettberg | 2023-07-17 12:20:51 +0200 |
| commit | 59de319979564c20dfe0c454834d0b9ac22ea3c4 (patch) | |
| tree | 76f5f2546f8ad4e40fe87b850cef9c0171fb707b /extras/eclipse-formatter-wider.xml | |
| parent | Fix whitespace (diff) | |
| download | tutor-module-59de3199.tar.gz tutor-module-59de3199.tar.xz tutor-module-59de3199.zip | |
[server] Tweak thread names
Names can actually be 15 chars, not 11...
Diffstat (limited to 'extras/eclipse-formatter-wider.xml')
0 files changed, 0 insertions, 0 deletions