diff options
| author | Jonas Schievink <[email protected]> | 2020-06-12 12:01:20 +0100 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-06-12 12:01:20 +0100 |
| commit | 0231e4ac77dacf6ca30f6b68c6081415f2da54ba (patch) | |
| tree | 21b1df550c05bae5b9d9ff23107e69727605c552 /.gitignore | |
| parent | 36353bb1827dbd2efcde2d18c8598c4cc5e2e296 (diff) | |
find_path: return shorter paths for external items
If a containing module is already in scope, there's no need to
use the full path to the item.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions