summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-25 11:43:41 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-25 11:43:41 -0500
commitf42ed389d1b67749ff441c6389f7fcf14237c211 (patch)
tree27832a71c92836b4ce9ed3a43c0e1c0eff7bba4a /doc
parent76b26fec5a3b521a084491d77d6c9e1e28ab603c (diff)
No need to ROLLBACK after a failed COMMIT
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions