diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-06-12 00:28:21 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-06-13 18:10:14 +0200 |
| commit | b4c615fb732ee48b18a513a0e284bbfd789e875c (patch) | |
| tree | 5eec88582815660b5ba944805b58c4bff007d6b6 /.gitignore | |
| parent | 64c64d8d7158e29a09e579be113bfe5e9681cd5d (diff) | |
| download | cuirass-b4c615fb732ee48b18a513a0e284bbfd789e875c.tar cuirass-b4c615fb732ee48b18a513a0e284bbfd789e875c.tar.gz | |
cuirass: Use always the same connection to the store.
* bin/cuirass.in (evaluate): Add STORE argument. Move 'open-connection'
call to ...
(main): ... here.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions