Remove Highway

This commit is contained in:
2022-05-20 20:18:18 -07:00
parent 04fece2771
commit 79f77a24b2
7 changed files with 4 additions and 133 deletions

1
external/highway vendored

Submodule external/highway deleted from fa49471c43