diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2013-12-25 13:11:43 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2013-12-25 13:11:43 -0500 |
| commit | 8ebc8340ebc13704014d5b2a3bbcd453786162c8 (patch) | |
| tree | 36a6ce08dd187e10bfb353692a0b2cef5c4c64cc /tests/channelThief.urs | |
| parent | 919e33bbf5f613fb6fcade1f88b33347a6aae1c1 (diff) | |
Tweaking handling of database transactions
Diffstat (limited to 'tests/channelThief.urs')
0 files changed, 0 insertions, 0 deletions