diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-06-07 19:18:51 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-06-07 19:18:51 +1000 |
| commit | 873b9cba0285d03d7cd5dcf0006fe3262bbf33ad (patch) | |
| tree | 23998761db74c0940501e6b00420c30a9910d637 /.gitignore | |
| parent | d28329b15531f6e2910cd1b03d54ef2093eeae9a (diff) | |
Fixing problem with indexing a project with multiple packages
- it will only index the first package with the same source dir as the
-p option, or if no such package exists, index the first package
- it will concat map all the modules of all the units of the package
to index
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions