|
Last change
on this file since 13237 was
12762,
checked in by aballeit, 9 years ago
|
|
#2283 GUI updates, Tree-chart, MCTS Version 2 (prune leaves)
|
|
File size:
1.1 KB
|
| Rev | Line | |
|---|
| [12762] | 1 | //------------------------------------------------------------------------------
|
|---|
| 2 | // <auto-generated>
|
|---|
| 3 | // This code was generated by a tool.
|
|---|
| 4 | // Runtime Version:4.0.30319.34209
|
|---|
| 5 | //
|
|---|
| 6 | // Changes to this file may cause incorrect behavior and will be lost if
|
|---|
| 7 | // the code is regenerated.
|
|---|
| 8 | // </auto-generated>
|
|---|
| 9 | //------------------------------------------------------------------------------
|
|---|
| 10 |
|
|---|
| 11 | namespace SharpVectors.Renderers.Properties {
|
|---|
| 12 |
|
|---|
| 13 |
|
|---|
| 14 | [global::System.Runtime.CompilerServices.CompilerGeneratedAttribute()]
|
|---|
| 15 | [global::System.CodeDom.Compiler.GeneratedCodeAttribute("Microsoft.VisualStudio.Editors.SettingsDesigner.SettingsSingleFileGenerator", "12.0.0.0")]
|
|---|
| 16 | internal sealed partial class Settings : global::System.Configuration.ApplicationSettingsBase {
|
|---|
| 17 |
|
|---|
| 18 | private static Settings defaultInstance = ((Settings)(global::System.Configuration.ApplicationSettingsBase.Synchronized(new Settings())));
|
|---|
| 19 |
|
|---|
| 20 | public static Settings Default {
|
|---|
| 21 | get {
|
|---|
| 22 | return defaultInstance;
|
|---|
| 23 | }
|
|---|
| 24 | }
|
|---|
| 25 | }
|
|---|
| 26 | }
|
|---|
Note: See
TracBrowser
for help on using the repository browser.
