diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-22 12:19:14 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-22 12:19:14 +0200 |
| commit | ad69a15e5d7d8f332823f445b721c5cb9acdfbd9 (patch) | |
| tree | f610d8a7d39846b272e98da1803923d39185b8ac /scripts/picosat-959/mkconfig | |
| parent | 769a43b767212ce6e0cb6cebf396130c2b54dee0 (diff) | |
| download | linux-conf-perf-ad69a15e5d7d8f332823f445b721c5cb9acdfbd9.tar.gz linux-conf-perf-ad69a15e5d7d8f332823f445b721c5cb9acdfbd9.tar.bz2 linux-conf-perf-ad69a15e5d7d8f332823f445b721c5cb9acdfbd9.zip | |
Fix bug described in commit 5ef685
Diffstat (limited to 'scripts/picosat-959/mkconfig')
0 files changed, 0 insertions, 0 deletions