diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-13 11:42:51 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-13 11:42:51 +0200 |
| commit | 5bf8e17c83d4b5500fd81edaee5c495161e1f0ba (patch) | |
| tree | 6ce5830ef2670f14c3516fb44b471f1ec03296b3 /scripts/picosat-959/NEWS | |
| parent | 88bce0d3359f570388c21e04c0556e6736afc28b (diff) | |
| download | linux-conf-perf-5bf8e17c83d4b5500fd81edaee5c495161e1f0ba.tar.gz linux-conf-perf-5bf8e17c83d4b5500fd81edaee5c495161e1f0ba.tar.bz2 linux-conf-perf-5bf8e17c83d4b5500fd81edaee5c495161e1f0ba.zip | |
Fix generate single configuration
This fixes and ensures that every call generates configuration. Unless
False is returned.
Diffstat (limited to 'scripts/picosat-959/NEWS')
0 files changed, 0 insertions, 0 deletions