diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-12-02 09:58:44 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-02 09:58:44 +0300 |
| commit | 87d973e389b5a0415430fecc1046415cd575f1d4 (patch) | |
| tree | 11fdbee0a025ae371f0366bcf2a8ccefd6d76d27 /modules/styles.py | |
| parent | ef6b8123dc57e4e4bd5e08d9f3e3dbdfdf6b4c4a (diff) | |
| parent | 1f6844eb7e3a91639b2977d1e0cfbb9bf98baea7 (diff) | |
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 'modules/styles.py')
0 files changed, 0 insertions, 0 deletions