From 29606b5179f76783ffb0c2ca0ed9d614847064b3 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 29 Mar 2015 17:04:57 +0100
Subject: [PATCH] Revert "Update README"

This reverts commit ac21ffebdf1512da2a77dc46c47bde87cc3850f3.
---
 README | 1 -
 1 file changed, 1 deletion(-)

diff --git a/README b/README
index 5e9b92a2f..f07f88ebd 100644
--- a/README
+++ b/README
@@ -1,7 +1,6 @@
 Z3 is a theorem prover from Microsoft Research.
 Z3 is licensed under the MIT license. 
 Z3 can be built using Visual Studio Command Prompt and make/g++.
-It relies on Python2 for configuring build scripts.
 
 1) Building Z3 on Windows using Visual Studio Command Prompt