mirror of
https://github.com/ggml-org/llama.cpp.git
synced 2026-08-31 01:21:23 +02:00
f990aa7065
strftime() and gmtime_r() were the only users, both went away with the get_datetime tool. Also make the renderer's catch inert: the browser executor always emits JSON, so a non-JSON result is no longer a date to display.