diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-12-02 06:58:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-02 06:58:44 +0000 |
| commit | 87d973e389b5a0415430fecc1046415cd575f1d4 (patch) | |
| tree | 11fdbee0a025ae371f0366bcf2a8ccefd6d76d27 /javascript/ui.js | |
| parent | ef6b8123dc57e4e4bd5e08d9f3e3dbdfdf6b4c4a (diff) | |
| parent | 1f6844eb7e3a91639b2977d1e0cfbb9bf98baea7 (diff) | |
| download | stable-diffusion-webui-gfx803-87d973e389b5a0415430fecc1046415cd575f1d4.tar.gz stable-diffusion-webui-gfx803-87d973e389b5a0415430fecc1046415cd575f1d4.tar.bz2 stable-diffusion-webui-gfx803-87d973e389b5a0415430fecc1046415cd575f1d4.zip | |
Merge pull request #14063 from wfjsw/use-ext-name-for-installed
use extension name for determining an extension is installed in the index
Diffstat (limited to 'javascript/ui.js')
0 files changed, 0 insertions, 0 deletions