diff options
| author | Pierre-Marie Pédrot | 2018-01-15 21:22:06 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2018-01-15 21:22:06 +0100 |
| commit | bd7c33aa5708131b2980ab580b30794b2ada31a4 (patch) | |
| tree | 79c24ed6ea4431c0ea629b40bae570ee59d9267c /dev/tools/objects.el | |
| parent | 8ea2a8307a8d96f8275ebbd9bd4cbd1f6b0a00c6 (diff) | |
Fix the wrapper around ocamldebug.
Since 5ffa147, there is a new clib folder that needed to be added to the set
of includes of ocamldebug
Diffstat (limited to 'dev/tools/objects.el')
0 files changed, 0 insertions, 0 deletions