diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:23:29 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-07-28 10:23:29 +0200 |
| commit | c8a33ffb0aad5ebc2f50045eb8a460daa67f446d (patch) | |
| tree | b167757e67dfdb2bd1800f84385dbb0a0430fe4e /scripts/picosat-959/configure | |
| parent | a5b46f72ce599f8b03fb82e68fb197606855abae (diff) | |
| download | linux-conf-perf-c8a33ffb0aad5ebc2f50045eb8a460daa67f446d.tar.gz linux-conf-perf-c8a33ffb0aad5ebc2f50045eb8a460daa67f446d.tar.bz2 linux-conf-perf-c8a33ffb0aad5ebc2f50045eb8a460daa67f446d.zip | |
Allconfig add inv option
Added inv option for generating inverted configurations.
Inverted configuration contains configuration options that are not in original configuration file.
Diffstat (limited to 'scripts/picosat-959/configure')
0 files changed, 0 insertions, 0 deletions