diff options
| author | Florian Klink <flokli@flokli.de> | 2023-07-29T22·36+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-07-31T09·01+0000 |
| commit | 0dea3086f5ed15191d01e499d55e6edfa73805ee (patch) | |
| tree | 5646d60f7f26aa86dc2a3f6441515c27c29ce9d4 /third_party/gopkgs/googlemaps.github.io | |
| parent | 92e976b3a94f3d030d0eb13f3899d8147dc99059 (diff) | |
docs(tvix/cli/refscan): fix comment r/6447
The comment still mentions Aho-Corasick, which isn't correct. Change-Id: I846a2ca9ea7075c2456ca6ef04a132ff6161227a Reviewed-on: https://cl.tvl.fyi/c/depot/+/8991 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'third_party/gopkgs/googlemaps.github.io')
0 files changed, 0 insertions, 0 deletions