diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-08-17 18:35:12 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-08-17 18:35:12 +0200 |
| commit | 3fb56b4760b0485cf0872100f04b0a5a51f52e97 (patch) | |
| tree | d974a7de099d2f241e639348f6dd37d3d2153531 /scripts/picosat-959/VERSION | |
| parent | cfeae5ec0d9488b2a6e51feb909e4c981008bf16 (diff) | |
| download | linux-conf-perf-3fb56b4760b0485cf0872100f04b0a5a51f52e97.tar.gz linux-conf-perf-3fb56b4760b0485cf0872100f04b0a5a51f52e97.tar.bz2 linux-conf-perf-3fb56b4760b0485cf0872100f04b0a5a51f52e97.zip | |
Generated configuration is now fully stored to database
Managing configurations in files and in database could cause
inconsistence. Adding all generated configurations to database allow us
to clean project files without loosing data.
Diffstat (limited to 'scripts/picosat-959/VERSION')
0 files changed, 0 insertions, 0 deletions