1
0
mirror of synced 2024-11-22 04:33:50 +00:00
PettingZoo/Properties/Settings.settings
2016-06-18 16:50:32 +02:00

7 lines
195 B
XML

<?xml version='1.0' encoding='utf-8'?>
<SettingsFile xmlns="uri:settings" CurrentProfile="(Default)">
<Profiles>
<Profile Name="(Default)" />
</Profiles>
<Settings />
</SettingsFile>