aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-12 17:28:00 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 10:13:54 +0200
commit523c57cee7c9d4909788c85cc392c60e8c056e4d (patch)
tree4ce3cbed7a6f0fed45d4eefe205bcee4ad3c6201 /scripts/picosat-959/.gitignore
parent3ee62e5d11b8516bda319e6e427e35dd4509f6b1 (diff)
downloadlinux-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