diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-12 17:28:00 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 10:13:54 +0200 |
| commit | 523c57cee7c9d4909788c85cc392c60e8c056e4d (patch) | |
| tree | 4ce3cbed7a6f0fed45d4eefe205bcee4ad3c6201 /scripts/picosat-959/.gitignore | |
| parent | 3ee62e5d11b8516bda319e6e427e35dd4509f6b1 (diff) | |
| download | linux-conf-perf-523c57cee7c9d4909788c85cc392c60e8c056e4d.tar.gz linux-conf-perf-523c57cee7c9d4909788c85cc392c60e8c056e4d.tar.bz2 linux-conf-perf-523c57cee7c9d4909788c85cc392c60e8c056e4d.zip | |
Fix bug in configurations loading
Loading configuration load all configuration options as True.
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions