improve(webui): keep a local copy of riven tool #261

Merged
Sainan merged 1 commits from riven-tool into main 2024-06-01 08:19:51 -07:00
No description provided.