diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-28 15:58:49 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-28 15:58:49 +0100 |
commit | 3a25148b9bf1ab07549a18cc6f7691052d576c69 (patch) | |
tree | f9f06371e056bcc831092464d3bceedaced79ef2 /thirdparty/pcre2/patches | |
parent | e5752fdfd33a35be5a96fe754c5553fee88cbe76 (diff) | |
parent | 22f9ef19e1accd5d5e36ce30589ba3edd5c3d0d0 (diff) |
Merge pull request #72228 from DarkKilauea/nav-agent-callable
Use Callable for Navigation Agent callbacks
Diffstat (limited to 'thirdparty/pcre2/patches')
0 files changed, 0 insertions, 0 deletions