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