diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-14 15:20:34 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-14 15:20:34 +0200 |
| commit | cf271a82276a19917638de856a9d10f3b1ceb488 (patch) | |
| tree | a7bad80c1300e0504cd69885269ac81b642c33f9 /scripts/picosat-959/main.c | |
| parent | 71ffeac967944bfd4f61d1f5724c8aed9d6d35a3 (diff) | |
| download | linux-conf-perf-cf271a82276a19917638de856a9d10f3b1ceb488.tar.gz linux-conf-perf-cf271a82276a19917638de856a9d10f3b1ceb488.tar.bz2 linux-conf-perf-cf271a82276a19917638de856a9d10f3b1ceb488.zip | |
Fix problems with permute
Permute should now reading and loading configurations right.
In case of configuration change, forces save.
Diffstat (limited to 'scripts/picosat-959/main.c')
0 files changed, 0 insertions, 0 deletions