From ed045b82fa2451144d855b94c1f19e48b6e8ac9a Mon Sep 17 00:00:00 2001
From: Brian Gladman <brg@gladman.plus.com>
Date: Sat, 30 Mar 2013 16:57:25 +0000
Subject: [PATCH] remove file not needed in the repository

---
 build.vc11/output_params.bat | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 build.vc11/output_params.bat

diff --git a/build.vc11/output_params.bat b/build.vc11/output_params.bat
deleted file mode 100644
index d1859614..00000000
--- a/build.vc11/output_params.bat
+++ /dev/null
@@ -1,3 +0,0 @@
-(set libr=lib)  
-(set plat=x64) 
-(set conf=Release)