Remove _decorations

This commit is contained in:
2024-10-26 09:18:11 +01:00
parent f11dfe53db
commit ae0f2fad0f
8 changed files with 2 additions and 46 deletions
-1
View File
@@ -52,7 +52,6 @@ data PSType
| PutDoor Color EdgeObstacle WdBl [(Point2, Point2)]
| RandPS (State StdGen PSType)
| PutForeground ForegroundShape
| PutDecoration Picture
| PutWorldUpdate (PlacementSpot -> World -> World)
| PutNothing
| PutUsingGenParams (World -> (World, PSType))