summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-03 16:54:04 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-03 16:54:04 -0500
commit433e33875836ed5d1277a05a1c2a4ed035e89929 (patch)
treeae916e054118cec51b56e8eeb0f0a6f1157cb648 /demo
parent62f89416cc96bf36d598752064b3a70f4aafac9f (diff)
Increase precision for rendering floats to SQL
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions