From 94621f0c17b7d53a318485129a31b1b3bc34806a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 23 Oct 2012 16:34:00 -0700 Subject: [PATCH] moved python to src Signed-off-by: Leonardo de Moura --- {python => src/python}/README.txt | 0 {python => src/python}/example.py | 0 {python => src/python}/z3.py | 0 {python => src/python}/z3consts.py | 0 {python => src/python}/z3core.py | 0 {python => src/python}/z3poly.py | 0 {python => src/python}/z3printer.py | 0 {python => src/python}/z3tactics.py | 0 {python => src/python}/z3test.py | 0 {python => src/python}/z3types.py | 0 10 files changed, 0 insertions(+), 0 deletions(-) rename {python => src/python}/README.txt (100%) rename {python => src/python}/example.py (100%) rename {python => src/python}/z3.py (100%) rename {python => src/python}/z3consts.py (100%) rename {python => src/python}/z3core.py (100%) rename {python => src/python}/z3poly.py (100%) rename {python => src/python}/z3printer.py (100%) rename {python => src/python}/z3tactics.py (100%) rename {python => src/python}/z3test.py (100%) rename {python => src/python}/z3types.py (100%) diff --git a/python/README.txt b/src/python/README.txt similarity index 100% rename from python/README.txt rename to src/python/README.txt diff --git a/python/example.py b/src/python/example.py similarity index 100% rename from python/example.py rename to src/python/example.py diff --git a/python/z3.py b/src/python/z3.py similarity index 100% rename from python/z3.py rename to src/python/z3.py diff --git a/python/z3consts.py b/src/python/z3consts.py similarity index 100% rename from python/z3consts.py rename to src/python/z3consts.py diff --git a/python/z3core.py b/src/python/z3core.py similarity index 100% rename from python/z3core.py rename to src/python/z3core.py diff --git a/python/z3poly.py b/src/python/z3poly.py similarity index 100% rename from python/z3poly.py rename to src/python/z3poly.py diff --git a/python/z3printer.py b/src/python/z3printer.py similarity index 100% rename from python/z3printer.py rename to src/python/z3printer.py diff --git a/python/z3tactics.py b/src/python/z3tactics.py similarity index 100% rename from python/z3tactics.py rename to src/python/z3tactics.py diff --git a/python/z3test.py b/src/python/z3test.py similarity index 100% rename from python/z3test.py rename to src/python/z3test.py diff --git a/python/z3types.py b/src/python/z3types.py similarity index 100% rename from python/z3types.py rename to src/python/z3types.py