diff options
| author | dzwdz | 2021-09-18 09:39:08 +0200 |
|---|---|---|
| committer | dzwdz | 2021-09-18 09:39:08 +0200 |
| commit | 3ef371d9183197bea81e6dd391860b19b1affbcf (patch) | |
| tree | 99201d0695c96921389045070995c00feeeadf1f /.gdbinit | |
| parent | 8e757fae5aaece57755a98544f193bc2672966b3 (diff) | |
put the `handle_t` typedef in `shared/types.h`
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions