diff options
| author | Georgi Gerganov <ggerganov@gmail.com> | 2024-02-11 15:35:50 +0200 |
|---|---|---|
| committer | Georgi Gerganov <ggerganov@gmail.com> | 2024-02-11 15:35:50 +0200 |
| commit | 85910c5b30f6e268321be8df044f5528a6efac52 (patch) | |
| tree | 38c7d28b59f1b7740824ac83a2b46836a36237f2 /examples/server | |
| parent | 139b62a839825ef20084ed75ed624db7a5ad554a (diff) | |
main : ctrl+C print timing in non-interactive mode (#3873)
Diffstat (limited to 'examples/server')
0 files changed, 0 insertions, 0 deletions