From b1a5436c3fc79dc3fe77aaa81d9f9c6755f2f1e6 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 23 Oct 2012 22:32:46 -0700 Subject: [PATCH] moved .net example Signed-off-by: Leonardo de Moura --- {src/Microsoft.Z3 => examples}/test_mapi/Program.cs | 0 {src/Microsoft.Z3 => examples}/test_mapi/build.cmd | 0 {src/Microsoft.Z3 => examples}/test_mapi/test_mapi.csproj | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename {src/Microsoft.Z3 => examples}/test_mapi/Program.cs (100%) rename {src/Microsoft.Z3 => examples}/test_mapi/build.cmd (100%) rename {src/Microsoft.Z3 => examples}/test_mapi/test_mapi.csproj (100%) diff --git a/src/Microsoft.Z3/test_mapi/Program.cs b/examples/test_mapi/Program.cs similarity index 100% rename from src/Microsoft.Z3/test_mapi/Program.cs rename to examples/test_mapi/Program.cs diff --git a/src/Microsoft.Z3/test_mapi/build.cmd b/examples/test_mapi/build.cmd similarity index 100% rename from src/Microsoft.Z3/test_mapi/build.cmd rename to examples/test_mapi/build.cmd diff --git a/src/Microsoft.Z3/test_mapi/test_mapi.csproj b/examples/test_mapi/test_mapi.csproj similarity index 100% rename from src/Microsoft.Z3/test_mapi/test_mapi.csproj rename to examples/test_mapi/test_mapi.csproj