From b64d199558f9eb6a8c39791db3370391810ea11b Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Thu, 21 Apr 2016 14:54:02 +0200
Subject: [PATCH] Tools/git: use variants mechanism

---
 Tools/git/2/variants   | 4 ++++
 Tools/git/with_modules | 2 --
 2 files changed, 4 insertions(+), 2 deletions(-)
 create mode 100644 Tools/git/2/variants
 delete mode 100644 Tools/git/with_modules

diff --git a/Tools/git/2/variants b/Tools/git/2/variants
new file mode 100644
index 0000000..165ef52
--- /dev/null
+++ b/Tools/git/2/variants
@@ -0,0 +1,4 @@
+2.3.3	Linux,Darwin	stable		Tcl/8.6.4 Tk/8.6.4
+2.5.2	Linux,Darwin	stable		Tcl/8.6.4 Tk/8.6.4
+2.8.1	Linux,Darwin	unstable	Tcl/8.6.4 Tk/8.6.4
+
diff --git a/Tools/git/with_modules b/Tools/git/with_modules
deleted file mode 100644
index 70974ad..0000000
--- a/Tools/git/with_modules
+++ /dev/null
@@ -1,2 +0,0 @@
-Tcl/8.6.4
-Tk/8.6.4