aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/VERSION
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-17 18:35:12 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-17 18:35:12 +0200
commit3fb56b4760b0485cf0872100f04b0a5a51f52e97 (patch)
treed974a7de099d2f241e639348f6dd37d3d2153531 /scripts/picosat-959/VERSION
parentcfeae5ec0d9488b2a6e51feb909e4c981008bf16 (diff)
downloadlinux-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