rename 'UpdateThread' structure to 'Updater', because it is no longer a separate thread

This commit is contained in:
2025-09-10 01:44:25 +01:00
parent 6961a76471
commit 95a07bcd92
3 changed files with 3 additions and 4 deletions

View File

@@ -78,7 +78,7 @@ shell/search-mailbox.sml
shell/exception-logger.sml
shell/search-thread.sml
shell/update-thread.sml
shell/updater.sml
shell/gl-shaders.sml
shell/gl-draw.sml
shell/shell.sml