aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/NEWS
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-13 11:42:51 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-13 11:42:51 +0200
commit5bf8e17c83d4b5500fd81edaee5c495161e1f0ba (patch)
tree6ce5830ef2670f14c3516fb44b471f1ec03296b3 /scripts/picosat-959/NEWS
parent88bce0d3359f570388c21e04c0556e6736afc28b (diff)
downloadlinux-conf-perf-5bf8e17c83d4b5500fd81edaee5c495161e1f0ba.tar.gz
linux-conf-perf-5bf8e17c83d4b5500fd81edaee5c495161e1f0ba.tar.bz2
linux-conf-perf-5bf8e17c83d4b5500fd81edaee5c495161e1f0ba.zip
Fix generate single configuration
This fixes and ensures that every call generates configuration. Unless False is returned.
Diffstat (limited to 'scripts/picosat-959/NEWS')
0 files changed, 0 insertions, 0 deletions