diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-08-28 07:20:33 +0300 |
|---|---|---|
| committer | AUTOMATIC1111 <16777216c@gmail.com> | 2023-08-28 07:20:48 +0300 |
| commit | 86708463f1767222262d4b970e01311fe54eb243 (patch) | |
| tree | 18af5582fc6487af3cac814144e4495645d84313 /extensions-builtin/extra-options-section | |
| parent | bfc5c0810979545003f3854e86c35fdcaa8b3672 (diff) | |
Merge pull request #12819 from catboxanon/fix/rng-infotext
Add missing infotext for RNG in options
Diffstat (limited to 'extensions-builtin/extra-options-section')
0 files changed, 0 insertions, 0 deletions