This repository has been archived on 2023-03-29. You can view files and clone it, but cannot push or open issues or pull requests.
|
<?xml version='1.0' encoding='utf-8'?>
|
|
<SettingsFile xmlns="uri:settings" CurrentProfile="(Default)">
|
|
<Profiles>
|
|
<Profile Name="(Default)" />
|
|
</Profiles>
|
|
<Settings />
|
|
</SettingsFile> |