Mercurial > urweb
comparison lib/ur/basis.urs @ 1941:9f3597979e98
Tweaking handling of database transactions
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 25 Dec 2013 13:11:43 -0500 |
| parents | f792a6544093 |
| children | 81bc76aa4acd |
comparison
equal
deleted
inserted
replaced
| 1940:1484ba362062 | 1941:9f3597979e98 |
|---|