diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-12 17:28:00 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-12 17:28:00 +0200 |
| commit | e9f373c67d79bf8ea5e8b710ce4102a29abb42b2 (patch) | |
| tree | 8ab0d4ec084969848355d10cdeabfb626c64d91d /scripts/picosat-959/configure | |
| parent | 303a971fefa1a15cb0cebc65274b118bf62ae889 (diff) | |
| download | linux-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