aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-07-22 11:47:51 +0200
committerKarel Kočí <cynerd@email.cz>2015-07-22 11:47:51 +0200
commitad1a1dd1f2fb8be0c37a31d0c9a53932ec824812 (patch)
treef180482e1c05f15958063057bcec71efcc0633c9 /scripts/picosat-959
parente291e4e7c831f34238bbcda1c39659826f04191c (diff)
downloadlinux-conf-perf-ad1a1dd1f2fb8be0c37a31d0c9a53932ec824812.tar.gz
linux-conf-perf-ad1a1dd1f2fb8be0c37a31d0c9a53932ec824812.tar.bz2
linux-conf-perf-ad1a1dd1f2fb8be0c37a31d0c9a53932ec824812.zip
Remove permute_conf
permute_conf was only temporally program for generating dot_config file. Its main function now has program allconfig. This program has also some text interface, but it wasn't optimal and in the end wasn't used at all.
Diffstat (limited to 'scripts/picosat-959')
0 files changed, 0 insertions, 0 deletions