PR #18518 webui: fix code copy stripping XML/HTML tags

webui: fix code copy stripping XML/HTML tags #18518

ServeurpersoCom merged 2 commits into ggml-org:master from Anri-Lombard:fix-clipboard-xml-tags

webui: fix code copy stripping XML/HTML tags

e864b257

Anri-Lombard requested a review from

allozaur 173 days ago

github-actions added examples

github-actions added server

taronaeo approved these changes on 2026-01-01

ServeurpersoCom approved these changes on 2026-01-01

webui: update static build

0e8e5793

ServeurpersoCom merged d5574c91 into master 173 days ago

Reviewers

ServeurpersoCom

taronaeo

allozaur

Assignees

No one assigned

Labels

examples server

Milestone

No milestone