diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-11-01 17:02:16 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-11-01 17:02:16 -0500 |
| commit | 736665b9b6975af4dbb3f68cec31fb75d77915f2 (patch) | |
| tree | 6fc5bda32c27ba5f8bca4712c5fe95b743dbe798 /src/settings.sml | |
| parent | 3772d0b752c4201c6ae1d00562ea0e80e46608ee (diff) | |
Change behavior of SQL equality to do the intuitive thing for nullable types
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions