diff options
author | Karel Kočí <cynerd@email.cz> | 2015-03-26 16:15:11 +0100 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2015-03-26 16:15:11 +0100 |
commit | 3dfe476d1cfc7f890f38328b6913230b186d5a45 (patch) | |
tree | 0f77aff5598b70e701c8d31fe767336cbc12dd28 | |
parent | 01cfe68c5757cbb9e8a97ef29b2fa091b3f2caff (diff) | |
download | linux-conf-perf-3dfe476d1cfc7f890f38328b6913230b186d5a45.tar.gz linux-conf-perf-3dfe476d1cfc7f890f38328b6913230b186d5a45.tar.bz2 linux-conf-perf-3dfe476d1cfc7f890f38328b6913230b186d5a45.zip |
Repair wrong phasing
Only comma was missing.
-rw-r--r-- | scripts/phase.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/phase.py b/scripts/phase.py index 4da61b1..fe7b4b1 100644 --- a/scripts/phase.py +++ b/scripts/phase.py @@ -3,7 +3,7 @@ import sys from conf import conf -phases = ("Not Initialized" #0 +phases = ("Not Initialized", #0 "Initializing", #1 "Initialized", #2 "Solution generating", #3 |