]> git.djapps.eu Git - pkg/ggml/sources/ggml/commitdiff
Merge pull request #422 from ggerganov/ggml-map-custom-new
authorslaren <redacted>
Tue, 1 Aug 2023 10:15:46 +0000 (12:15 +0200)
committerGitHub <redacted>
Tue, 1 Aug 2023 10:15:46 +0000 (12:15 +0200)
ggml : add ggml_map_custom1-3


Trivial merge