diff options
| author | Richard Jones <rjones@trick.home.annexia.org> | 2009-09-29 11:56:26 +0100 |
|---|---|---|
| committer | Richard Jones <rjones@trick.home.annexia.org> | 2009-09-29 11:56:26 +0100 |
| commit | d278ef8ad9090441a713c7334804199318aeb3e1 (patch) | |
| tree | c6d32ff94ca5c10afeadbdc01e3c28613b6f625a /python/run-bindtests | |
| parent | 4c8bdd342450aad1f49a44a009eae015a44f9572 (diff) | |
OCaml viewer: Handle exceptions properly.
Diffstat (limited to 'python/run-bindtests')
0 files changed, 0 insertions, 0 deletions