2023-01-03 10:23:17 -07:00
|
|
|
<div>
|
|
|
|
<a href="/docs">API</a>
|
|
|
|
•
|
|
|
|
<a href="https://github.com/AUTOMATIC1111/stable-diffusion-webui">Github</a>
|
|
|
|
•
|
|
|
|
<a href="https://gradio.app">Gradio</a>
|
|
|
|
•
|
2023-05-20 15:41:41 -06:00
|
|
|
<a href="#" onclick="showProfile('./internal/profile-startup'); return false;">Startup profile</a>
|
|
|
|
•
|
2023-01-03 10:23:17 -07:00
|
|
|
<a href="/" onclick="javascript:gradioApp().getElementById('settings_restart_gradio').click(); return false">Reload UI</a>
|
|
|
|
</div>
|
2023-01-05 01:57:01 -07:00
|
|
|
<br />
|
|
|
|
<div class="versions">
|
|
|
|
{versions}
|
|
|
|
</div>
|