diff options
| author |  MichalMoskal <unknown> | 2010-10-12 01:18:57 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-10-12 01:18:57 +0000 |
| commit | 15e2fa869e98fdd7900a422aa78bb034d39bfe37 (patch) | |
| tree | b69460614f7c0f1788e3d5a69287725aa4ea3095 /Source/ModelViewer/Main.Designer.cs | |
| parent | 45fb2f73118bf4010ad08757122d829c76e676d3 (diff) | |
Put in proper namespace, move files around.
Diffstat (limited to 'Source/ModelViewer/Main.Designer.cs')
| -rw-r--r-- | Source/ModelViewer/Main.Designer.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/Main.Designer.cs b/Source/ModelViewer/Main.Designer.cs index 64aab748..f5a988b1 100644 --- a/Source/ModelViewer/Main.Designer.cs +++ b/Source/ModelViewer/Main.Designer.cs @@ -1,4 +1,4 @@ -namespace ModelViewer
+namespace Microsoft.Boogie.ModelViewer
{
partial class Main
{
|