diff options
| author | Karel Kočí <cynerd@email.cz> | 2015-09-14 11:45:32 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2015-09-14 11:45:32 +0200 |
| commit | 4ad66ffc6510e66062aa3f6523e51082ef39ce51 (patch) | |
| tree | 7f5df8fb0150558da11ea52a46874c2b5057bb7a /scripts/picosat-959/picosat.h | |
| parent | 78d096b2b1f286e15ed12a2789da102fe5849184 (diff) | |
| download | linux-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/picosat.h')
0 files changed, 0 insertions, 0 deletions