diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-28 15:45:42 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-28 15:59:05 +0200 |
| commit | 8cbd482ff0bf58594df2f339b57f22c836494929 (patch) | |
| tree | bda7a81d8bd97597326b4456bcd7910605591f03 /scripts/picosat-959/git@cynerd.cz:linux-conf-perf | |
| parent | 2193b4677d9ca4e29dd30d68bd8faebe6586e880 (diff) | |
| download | linux-conf-perf-8cbd482ff0bf58594df2f339b57f22c836494929.tar.gz linux-conf-perf-8cbd482ff0bf58594df2f339b57f22c836494929.tar.bz2 linux-conf-perf-8cbd482ff0bf58594df2f339b57f22c836494929.zip | |
Add name of configuration option to generator name for single-sat
When generated with single-sat generator, configuration in database
haven't had information about what configuration option was used as
forced input while generating.
Diffstat (limited to 'scripts/picosat-959/git@cynerd.cz:linux-conf-perf')
0 files changed, 0 insertions, 0 deletions