aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-12 15:48:19 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 15:48:19 +0200
commit9df57d275f44d8f7919bd9b307bcf09a30c53683 (patch)
tree39c8cd8089712cef9980a103523703191e0aeead /scripts/picosat-959
parentc5fdcab3a1a034ef8933268d3237878716d7b2e0 (diff)
downloadlinux-conf-perf-9df57d275f44d8f7919bd9b307bcf09a30c53683.tar.gz
linux-conf-perf-9df57d275f44d8f7919bd9b307bcf09a30c53683.tar.bz2
linux-conf-perf-9df57d275f44d8f7919bd9b307bcf09a30c53683.zip
Fix if generated existing configuration
When some generator tries to register already generated solution, it shouldn't be registered.
Diffstat (limited to 'scripts/picosat-959')
0 files changed, 0 insertions, 0 deletions