diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2014-02-17 14:34:48 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2014-02-17 14:34:48 -0500 |
| commit | 6337358bed21a199da8663fe198457c799e11467 (patch) | |
| tree | 6fae61a487467b09c09bef9033dabc1b7e76a35c /src/main.mlton.sml | |
| parent | 4276a0d3732f71ff4fcc1d2dbba8aa87f11a096c (diff) | |
MySQL does case-sensitive catalog queries
Diffstat (limited to 'src/main.mlton.sml')
0 files changed, 0 insertions, 0 deletions