aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/.gitignore
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-08-12 10:47:27 +0200
committerKarel Kočí <cynerd@email.cz>2015-08-12 10:47:27 +0200
commit8a3d7b8ed5b559c3777b9ee4715361d2dc01da07 (patch)
tree06bfb76a249137604cfa5e7ef8383cb28a2d97b3 /scripts/picosat-959/.gitignore
parent86eb2c8945b952492a99f774262a2aacaaf58776 (diff)
downloadlinux-conf-perf-8a3d7b8ed5b559c3777b9ee4715361d2dc01da07.tar.gz
linux-conf-perf-8a3d7b8ed5b559c3777b9ee4715361d2dc01da07.tar.bz2
linux-conf-perf-8a3d7b8ed5b559c3777b9ee4715361d2dc01da07.zip
Change default database configuration
Database configuration was set as it was used during development and testing. Changed to some of default not usable values.
Diffstat (limited to 'scripts/picosat-959/.gitignore')
0 files changed, 0 insertions, 0 deletions