diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-09-27 22:41:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-27 22:41:49 +0200 |
| commit | 7a67ae01a47cc08fbd66f3c4e780118fbc07ef91 (patch) | |
| tree | c5255002d3296d0de812f19c665f0d8bb9686023 /core/translation.h | |
| parent | d0e45e78a48fc0cc61b118a51020eef202998242 (diff) | |
| parent | 7b3790d2cc623f38fee699b2f799f39869185927 (diff) | |
Merge pull request #32249 from hbina/a_star_ignore_disabled
Add option to consider disable points
Diffstat (limited to 'core/translation.h')
0 files changed, 0 insertions, 0 deletions