aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-24 18:07:45 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-24 18:07:45 +0200
commitb6e75b3c98e9092a14a1a8d7142f43bb4cebc454 (patch)
treeb0abc0262379a53d1e49b9c23ded8458a9af12a3 /scripts/picosat-959/.gitignore
parentbcfac3d31b96eb783667eb6683f953ae808c5ea9 (diff)
downloadlinux-conf-perf-b6e75b3c98e9092a14a1a8d7142f43bb4cebc454.tar.gz
linux-conf-perf-b6e75b3c98e9092a14a1a8d7142f43bb4cebc454.tar.bz2
linux-conf-perf-b6e75b3c98e9092a14a1a8d7142f43bb4cebc454.zip
kernel.config rewritten to use utils.callsubprocess and support new implementation of write_config
Also unused function config_noprogram commented.
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions