From 9bcad51e3cd7c8785721e96b05cb5a78d4c3550e Mon Sep 17 00:00:00 2001 From: Tobias Jakobi <tobias.jakobi@med.uni-heidelberg.de> Date: Mon, 1 Oct 2018 15:39:36 +0200 Subject: [PATCH] Version bump to 1.1.0.7 --- circtools/circtools.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/circtools/circtools.py b/circtools/circtools.py index 165a66a7e..cabb9b185 100755 --- a/circtools/circtools.py +++ b/circtools/circtools.py @@ -20,7 +20,7 @@ import os.path # global settings -version = "1.1.0.6" +version = "1.1.0.7" program_name = "circtools"