4 Commits

Author	SHA1	Message	Date
d8ahazard	cfcadeae9a	Add option to preload extensions ... By creating a file called "preload.py" in an extension folder and declaring a preload(parser) method, we can add extra command-line args for an extension.	2022-11-08 10:03:56 -06:00
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