diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-17 12:22:11 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-17 12:25:11 +0100 |
| commit | d3fb16b38049d61ad5bb5271e43420421dd10d91 (patch) | |
| tree | e027e3388ff56c7bea1e9b5c94ee10cf86a92584 /.gitignore | |
| parent | 099884ee66fc642179c9ad799a61f0b1a6d8cdc9 (diff) | |
also cover drop/restart cases with psql logic
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions