diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-05-06 17:28:39 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-05-06 17:28:39 +0200 |
| commit | 015979b483011be86bdb10e5ca0fa7d88695b856 (patch) | |
| tree | a0602c68f597c93c3070fbcdcd9d6834a83eaa51 /scripts/write_config/Makefile | |
| parent | 54cb72fb00801a4f2590261f96689b23e0079900 (diff) | |
| download | linux-conf-perf-015979b483011be86bdb10e5ca0fa7d88695b856.tar.gz linux-conf-perf-015979b483011be86bdb10e5ca0fa7d88695b856.tar.bz2 linux-conf-perf-015979b483011be86bdb10e5ca0fa7d88695b856.zip | |
Fix some comments and if in solution
These changes were forgotten after change from minisat to picosat
Diffstat (limited to 'scripts/write_config/Makefile')
0 files changed, 0 insertions, 0 deletions