Last change
on this file since 12467 was
217,
checked in by swagner, 17 years ago
|
Worked on #54
- changed default URL of plugin sources to new update location of the HeuristicLab 3.0 release branch
|
File size:
1.7 KB
|
Rev | Line | |
---|
[2] | 1 | <?xml version="1.0" encoding="utf-8" ?>
|
---|
| 2 | <configuration>
|
---|
| 3 | <configSections>
|
---|
| 4 | <sectionGroup name="userSettings" type="System.Configuration.UserSettingsGroup, System, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089" >
|
---|
| 5 | <section name="HeuristicLab.PluginInfrastructure.GUI.Properties.Settings" type="System.Configuration.ClientSettingsSection, System, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089" allowExeDefinition="MachineToLocalUser" requirePermission="false" />
|
---|
| 6 | </sectionGroup>
|
---|
| 7 | </configSections>
|
---|
| 8 | <userSettings>
|
---|
| 9 | <HeuristicLab.PluginInfrastructure.GUI.Properties.Settings>
|
---|
| 10 | <setting name="CacheDir" serializeAs="String">
|
---|
| 11 | <value>plugins\cache</value>
|
---|
| 12 | </setting>
|
---|
| 13 | <setting name="PluginDir" serializeAs="String">
|
---|
| 14 | <value>plugins</value>
|
---|
| 15 | </setting>
|
---|
| 16 | <setting name="BackupDir" serializeAs="String">
|
---|
| 17 | <value>plugins\backup</value>
|
---|
| 18 | </setting>
|
---|
| 19 | <setting name="TempDir" serializeAs="String">
|
---|
| 20 | <value>plugins\temp</value>
|
---|
| 21 | </setting>
|
---|
[217] | 22 | <setting name="PluginSources" serializeAs="Xml">
|
---|
| 23 | <value>
|
---|
| 24 | <ArrayOfString xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
---|
| 25 | xmlns:xsd="http://www.w3.org/2001/XMLSchema">
|
---|
| 26 | <string>http://update.heuristiclab.com/hl30/</string>
|
---|
| 27 | </ArrayOfString>
|
---|
| 28 | </value>
|
---|
| 29 | </setting>
|
---|
[2] | 30 | </HeuristicLab.PluginInfrastructure.GUI.Properties.Settings>
|
---|
| 31 | </userSettings>
|
---|
| 32 | </configuration> |
---|
Note: See
TracBrowser
for help on using the repository browser.