diff options
| author | Georgi Gerganov <ggerganov@gmail.com> | 2023-04-23 18:32:52 +0300 |
|---|---|---|
| committer | Georgi Gerganov <ggerganov@gmail.com> | 2023-04-23 18:32:52 +0300 |
| commit | ec9cdb6752dd96b3cc74d90ad1adeba5b4fa2b0e (patch) | |
| tree | 0525db77ee992cf9b9fbb961dd6da930455dbe51 /scripts | |
| parent | e4422e299c10c7e84c8e987770ef40d31905a76b (diff) | |
ggml : do not print perf ops that have not been used at all
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions