a bit of refactoring

This commit is contained in:
2024-10-08 08:53:43 +01:00
parent 68a1787958
commit 6e4cc9acff
6 changed files with 53 additions and 22 deletions

View File

@@ -10,6 +10,7 @@ message-types/draw-msg.sml
message-types/mailbox-type.sml
fcore/app-type.sml
fcore/app-with.sml
fcore/text-builder.sml
fcore/app-update.sml