diff options
| author | Nick Barnes <nick@tarides.com> | 2023-04-17 14:13:13 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-17 15:13:13 +0200 |
| commit | 05c9e82202f03108aaaee4dfd81b56f8fd30987d (patch) | |
| tree | 2a31a1fcec2cb2c2c23f5a371d9f0408d0d9790b /tools/mantis2gh_stripped.csv | |
| parent | 3dacc75a81e7af3587bd67e7ec36c4c883ab47db (diff) | |
| download | ocaml-05c9e82202f03108aaaee4dfd81b56f8fd30987d.tar.gz | |
Update GDB scripts to work with OCaml 5 (#12179)
Update gdb-macros and gdb_ocamlrun.py to work with OCaml 5.
Diffstat (limited to 'tools/mantis2gh_stripped.csv')
0 files changed, 0 insertions, 0 deletions