Work on toggle terminals

This commit is contained in:
2025-08-20 17:06:30 +01:00
parent 8557724fb5
commit 9de2a22001
4 changed files with 15 additions and 21 deletions
+1 -1
View File
@@ -51,7 +51,7 @@ data TCom
| TCBase
| TCDamageCommand
| TCSensorInfo
| TCToggles
-- | TCToggles
data TmWdWd
= TmWdId