4 Commits

Include renames

Author	SHA1	Message	Date
TheEvilPenguin	a7dce90880	Merge branch 'location-plugin' of https://github.com/BenjaminGreene/DV-Community-Map into location-plugin	2025-06-12 08:49:27 +10:00
TheEvilPenguin	700e06b898	We don't actually need to restart HttpListener when the user changes the port ... Changed Settings to implement INotifyPropertyChanged to allow consumers to potentially listen to individual property changes	2025-06-12 08:49:21 +10:00
Pyro Nicampt	ff8b2c730e	MapLocation mod minor cleanup ... Add gitignore and remove unneeded dlls for compiling	2025-06-11 16:06:27 -05:00
TheEvilPenguin	07229424a4	Minimum viable	2025-06-11 18:12:28 +10:00