aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-09-12 11:23:42 +0200
committerKarel Kočí <cynerd@email.cz>2015-09-12 11:23:42 +0200
commit762e0304d1c493447e367a45431416fbada5cc8c (patch)
tree39cb195da786fd73a0728624d2b49241086a7ea5 /scripts/picosat-959
parent21d73b4159d65ec1279ed603bc67f32fb8346f37 (diff)
downloadlinux-conf-perf-762e0304d1c493447e367a45431416fbada5cc8c.tar.gz
linux-conf-perf-762e0304d1c493447e367a45431416fbada5cc8c.tar.bz2
linux-conf-perf-762e0304d1c493447e367a45431416fbada5cc8c.zip
Fix fromfolder script
Script ended with exception when no file with list of non-remove configuration options was provided.
Diffstat (limited to 'scripts/picosat-959')
0 files changed, 0 insertions, 0 deletions