diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-15 01:38:34 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-15 01:38:34 +0200 |
| commit | f9bd4784d55c6e2afe4c102a1212a7661ac0ef80 (patch) | |
| tree | fa2140a1147e6805f502f41ffcf06a860f807feb /scripts/picosat-959/.gitignore | |
| parent | 2e9ef6384bf9a9b599a5f7438d8772fcbccb760f (diff) | |
| download | linux-conf-perf-f9bd4784d55c6e2afe4c102a1212a7661ac0ef80.tar.gz linux-conf-perf-f9bd4784d55c6e2afe4c102a1212a7661ac0ef80.tar.bz2 linux-conf-perf-f9bd4784d55c6e2afe4c102a1212a7661ac0ef80.zip | |
Rewrite write_config solution check and fix apply
solution.apply failed in case of last solution.
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions