aboutsummaryrefslogtreecommitdiff
path: root/scripts/picosat-959/README
diff options
context:
space:
mode:
authorKarel Kočí <cynerd@email.cz>2015-09-14 11:45:32 +0200
committerKarel Kočí <cynerd@email.cz>2015-09-14 11:45:32 +0200
commit4ad66ffc6510e66062aa3f6523e51082ef39ce51 (patch)
tree7f5df8fb0150558da11ea52a46874c2b5057bb7a /scripts/picosat-959/README
parent78d096b2b1f286e15ed12a2789da102fe5849184 (diff)
downloadlinux-conf-perf-4ad66ffc6510e66062aa3f6523e51082ef39ce51.tar.gz
linux-conf-perf-4ad66ffc6510e66062aa3f6523e51082ef39ce51.tar.bz2
linux-conf-perf-4ad66ffc6510e66062aa3f6523e51082ef39ce51.zip
Add makefile target psql
This new target allows direct access to database wit parameters set in conf.py and conf.py of selected target. This is simple fast access to database.
Diffstat (limited to 'scripts/picosat-959/README')
0 files changed, 0 insertions, 0 deletions