aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/configure
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-12 17:28:00 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 17:28:00 +0200
commite9f373c67d79bf8ea5e8b710ce4102a29abb42b2 (patch)
tree8ab0d4ec084969848355d10cdeabfb626c64d91d /scripts/picosat-959/configure
parent303a971fefa1a15cb0cebc65274b118bf62ae889 (diff)
downloadlinux-conf-perf-e9f373c67d79bf8ea5e8b710ce4102a29abb42b2.tar.gz
linux-conf-perf-e9f373c67d79bf8ea5e8b710ce4102a29abb42b2.tar.bz2
linux-conf-perf-e9f373c67d79bf8ea5e8b710ce4102a29abb42b2.zip
Fix bug in configurations loading
Loading configuration load all configuration options as True.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions