1
0
mirror of synced 2024-12-05 00:53:11 +01:00
PettingZoo/Properties/Settings.settings

7 lines
195 B
Plaintext
Raw Normal View History

2016-06-18 16:50:32 +02:00
<?xml version='1.0' encoding='utf-8'?>
<SettingsFile xmlns="uri:settings" CurrentProfile="(Default)">
<Profiles>
<Profile Name="(Default)" />
</Profiles>
<Settings />
</SettingsFile>