From 1cfe6e477a3d034fa4ac9bf01d56b51bb30acc01 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 5 Oct 2012 15:18:54 -0700
Subject: [PATCH] removed unnecessary files.

---
 Microsoft.Z3V3/Microsoft.Z3V3.vcxproj.user | 3 ---
 dll/dll.vcxproj.user                       | 3 ---
 lib/lib.vcxproj.user                       | 3 ---
 maxsat/maxsat.vcxproj.user                 | 3 ---
 shell/shell.vcxproj.user                   | 3 ---
 test/test.vcxproj.user                     | 3 ---
 test_capi/test_capi.vcxproj.user           | 3 ---
 7 files changed, 21 deletions(-)
 delete mode 100644 Microsoft.Z3V3/Microsoft.Z3V3.vcxproj.user
 delete mode 100644 dll/dll.vcxproj.user
 delete mode 100644 lib/lib.vcxproj.user
 delete mode 100644 maxsat/maxsat.vcxproj.user
 delete mode 100644 shell/shell.vcxproj.user
 delete mode 100644 test/test.vcxproj.user
 delete mode 100644 test_capi/test_capi.vcxproj.user

diff --git a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj.user b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file
diff --git a/dll/dll.vcxproj.user b/dll/dll.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/dll/dll.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file
diff --git a/lib/lib.vcxproj.user b/lib/lib.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/lib/lib.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file
diff --git a/maxsat/maxsat.vcxproj.user b/maxsat/maxsat.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/maxsat/maxsat.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file
diff --git a/shell/shell.vcxproj.user b/shell/shell.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/shell/shell.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file
diff --git a/test/test.vcxproj.user b/test/test.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/test/test.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file
diff --git a/test_capi/test_capi.vcxproj.user b/test_capi/test_capi.vcxproj.user
deleted file mode 100644
index ace9a86ac..000000000
--- a/test_capi/test_capi.vcxproj.user
+++ /dev/null
@@ -1,3 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<Project ToolsVersion="4.0" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
-</Project>
\ No newline at end of file