diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-22 11:47:51 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-22 11:47:51 +0200 |
| commit | ad1a1dd1f2fb8be0c37a31d0c9a53932ec824812 (patch) | |
| tree | f180482e1c05f15958063057bcec71efcc0633c9 /scripts/picosat-959/.gitignore | |
| parent | e291e4e7c831f34238bbcda1c39659826f04191c (diff) | |
| download | linux-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/.gitignore')
0 files changed, 0 insertions, 0 deletions