diff options
| author | Emilio Jesus Gallego Arias | 2020-03-04 21:57:19 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-01 02:39:36 -0400 |
| commit | 5001deed21e8f4027411cc6413a9d2b98e1bccee (patch) | |
| tree | ec32d90eea45ae662e3df06e665f91b82371bdf3 /plugins/firstorder/plugin_base.dune | |
| parent | dc723c2aa614e6b31ef5a4c9764ff92c0860880e (diff) | |
[lib] Remove custom backtrace destroying finalizers
in favor of the one in the OCaml standard library.
Diffstat (limited to 'plugins/firstorder/plugin_base.dune')
0 files changed, 0 insertions, 0 deletions