diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-04-19 11:39:37 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-04-19 11:39:37 +0200 |
| commit | ff61029f6e7fbdd05bdacbf7524c3847d8105550 (patch) | |
| tree | bebcbf0be45f5a04fb0402b597d3f6f81cc32c3d /.gitignore | |
| parent | 0031a91286dd71a50b9d5320f08f87dcc8dbeefa (diff) | |
Explicitly turn on debugging
Seems in the current version this only jumps to source lines if the
function is defined in the current file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions