aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--conf.py4
1 files changed, 0 insertions, 4 deletions
diff --git a/conf.py b/conf.py
index fd905b0..31f343a 100644
--- a/conf.py
+++ b/conf.py
@@ -35,10 +35,6 @@ parse_command = ['./parse_script']
# Identifier of measurement can consist of measure tool name and version
measure_identifier = 'cyclictest-v0.92'
-# measurement_identifier
-# Identifier of measurement can consist of measure tool name and version
-measure_identifier = 'cyclictest-v0.92'
-
# picosat_args
# Additional arguments passed to PicoSAT.
picosat_args = []