Commit graph

3 commits

Author SHA1 Message Date
AUTOMATIC
03b08c4a6b do not die when an extension's repo has no remote 2022-11-05 15:04:48 +03:00
AUTOMATIC
58cc03edd0 fix scripts I broke with the extension tab changes 2022-10-31 18:40:47 +03:00
AUTOMATIC
910a097ae2 add initial version of the extensions tab
fix broken Restart Gradio button
2022-10-31 17:37:02 +03:00