diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-19 18:40:31 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-19 18:40:31 +0200 |
| commit | ec27706bdefc834d1470f3b7ad7e2e24b69b5c5f (patch) | |
| tree | 7362f6bb12fa1510cc072182745cb5c3f5806d67 /scripts/picosat-959/NEWS | |
| parent | cdc75b8c0f2459a4efc39a65dd51252ee8ec7280 (diff) | |
| download | linux-conf-perf-ec27706bdefc834d1470f3b7ad7e2e24b69b5c5f.tar.gz linux-conf-perf-ec27706bdefc834d1470f3b7ad7e2e24b69b5c5f.tar.bz2 linux-conf-perf-ec27706bdefc834d1470f3b7ad7e2e24b69b5c5f.zip | |
Remove unused conf variables
Some variables were no longer used or with current settup system made
no sence.
Diffstat (limited to 'scripts/picosat-959/NEWS')
0 files changed, 0 insertions, 0 deletions