From 730bf841db07f25bb439f15450eb3471dd9b0ea8 Mon Sep 17 00:00:00 2001 From: Thomas Fillon Date: Fri, 3 Oct 2014 13:39:58 +0200 Subject: [PATCH] merge tools/parametrs.py from diadems into dev --- timeside/tools/parameters.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/timeside/tools/parameters.py b/timeside/tools/parameters.py index 11503d6..3101abb 100644 --- a/timeside/tools/parameters.py +++ b/timeside/tools/parameters.py @@ -23,7 +23,7 @@ from traits.api import HasTraits, Unicode, Int, Float, Range, Enum -from traits.api import ListUnicode, List +from traits.api import ListUnicode, List, Tuple from traits.api import TraitError import simplejson as json -- 2.39.5