From 360fae67713d3813059361fc0ee5fa6102e02246 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 13 Aug 2015 12:13:39 +0200 Subject: Remove duplicate variable in conf.py This duplication was created probably by merging. --- conf.py | 4 ---- 1 file changed, 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 = [] -- cgit v1.2.3