ZoneBuilder/Source
2023-05-30 16:49:24 +02:00
..
Core Revert "Fixed: old map format is now autodetected when saving a map over an existing one. Saving a map in different format shouldn't leave junk lumps anymore." 2023-05-30 16:49:24 +02:00
Plugins Update selection info/labels when selecting sector outlines or only single/double-sided lines 2023-05-16 02:07:28 +02:00