diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-28 17:45:26 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-28 17:45:26 +0200 |
| commit | 21d73b4159d65ec1279ed603bc67f32fb8346f37 (patch) | |
| tree | 5cc41ba8fb8e1663c620364d7e0f6ccfe5a02022 /scripts/picosat-959/configure | |
| parent | 2fc5841f903699c04b31a5fef2561639e03fc4dd (diff) | |
| download | linux-conf-perf-21d73b4159d65ec1279ed603bc67f32fb8346f37.tar.gz linux-conf-perf-21d73b4159d65ec1279ed603bc67f32fb8346f37.tar.bz2 linux-conf-perf-21d73b4159d65ec1279ed603bc67f32fb8346f37.zip | |
Reimplement fromfolder script
Removing configuration options from configuration file according to
definition folder. New implementation allows to specify required
configuration options that shouldn't be removed in any case.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions