Mercurial > urweb
diff src/mono_print.sml @ 1939:c52365a4ce41
No need to ROLLBACK after a failed COMMIT
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Dec 2013 11:43:41 -0500 |
parents | 98895243b5b6 |
children | 278e10629ba1 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 25 Dec 2013 11:43:41 -0500 |
parents | 98895243b5b6 |
children | 278e10629ba1 |