diff options
| author | Jeroen van Rijn <Kelimion@users.noreply.github.com> | 2023-04-25 08:32:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-25 08:32:45 +0200 |
| commit | d5772c939a73eaef82a8a012d5290447f04370c2 (patch) | |
| tree | 9b77ec015ef45695c67aba41cd8355c02692f18d /src/check_type.cpp | |
| parent | be0a543077b61da9e7587767fa12c31dd4978291 (diff) | |
| parent | 19097bc5bc2e5254eb6bae2b03877c9d678a0523 (diff) | |
Merge pull request #2483 from jprukner/fix-alias-which-check
Fix which command check
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions