diff options
author | 2018-02-22 14:54:43 +0300 | |
---|---|---|
committer | 2018-02-22 14:54:43 +0300 | |
commit | 023c0e62aeadf600f9d9ebffc6bb5392c8e387fd (patch) | |
tree | f63e9ff4cf9f499d1f7dcf1c72442a2b849de9df /.gitignore | |
parent | 445efce2abf8310acc5b7bb652feef7968c86a2a (diff) |
h2: varchar_ignorecase for tag names
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions