diff options
| author | Glenn Smith <glenn@vector35.com> | 2025-03-20 21:43:04 -0400 |
|---|---|---|
| committer | Xusheng <xusheng@vector35.com> | 2025-03-21 23:44:09 +0800 |
| commit | 8c8888c3f9a377d4e3306ec067b8c3d5fbed7ddd (patch) | |
| tree | 568677ca18c6cb96a18c94eb059cd514af3a538f /python/examples/version_switcher.py | |
| parent | f9b8762d49ef16bf2dd7b814d6f1ef06594b2951 (diff) | |
Add API for refreshing UI without needing an analysis update
Diffstat (limited to 'python/examples/version_switcher.py')
0 files changed, 0 insertions, 0 deletions