diff options
| author | Théo Zimmermann | 2017-09-27 18:41:09 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-09-27 18:44:41 +0200 |
| commit | ca9c0a1d3aa4a2c2dad3d5e5ff88b9bc324e71db (patch) | |
| tree | effa9eda2dc2d3fc2bc502cd1256390def2a88a0 /API/API.mli | |
| parent | fb0c6f696b769b1a7348a7c777947cbae5dea356 (diff) | |
Remove catch-all try with in the beautifier.
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions