diff options
| author | George Steel <george.steel@gmail.com> | 2022-12-11 22:18:09 -0500 |
|---|---|---|
| committer | George Steel <george.steel@gmail.com> | 2022-12-11 22:18:09 -0500 |
| commit | 903f724c888aea968e85b1e3f2817c66e64d7a02 (patch) | |
| tree | 40b00d0b7b4265a9e055826d2d1b9d35515872bf /lib/extensions/install.py | |
| parent | dd115ae02f5cb8932f2f23865909682ea6bcebac (diff) | |
refine GUI for text-based random_seed parameter and add global param.
Diffstat (limited to 'lib/extensions/install.py')
0 files changed, 0 insertions, 0 deletions