summaryrefslogtreecommitdiff
path: root/demo/increment.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-01-07 08:36:18 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-01-07 08:36:18 -0500
commitbb567cd6c1490dcabf53a3dd18f1aebd8e3055e0 (patch)
treecbcfc3515fda056d6e92f322912db3cfd696b282 /demo/increment.urs
parentf00f54541df6722f06057da89da38ba906252058 (diff)
MySQL: Combine transaction setup commands into one mysql_query()
Diffstat (limited to 'demo/increment.urs')
0 files changed, 0 insertions, 0 deletions