diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-04-21 13:01:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-21 13:01:43 +0200 |
| commit | 71bbe6eb01d1664340ea624aca36aa47c693981d (patch) | |
| tree | 7fab2ac8f65a8d3190d4255d1ba22cbb52a8697f /editor/icons/icon_GUI_radio_unchecked.svg | |
| parent | 7879968136828a6b98daab9ee4e8897eb8c26048 (diff) | |
| parent | 6ea253aa776e03dc7174b289c6747cd8d0410245 (diff) | |
Merge pull request #27979 from Paulb23/remember_script_state
Restore script editor state between sessions
Diffstat (limited to 'editor/icons/icon_GUI_radio_unchecked.svg')
0 files changed, 0 insertions, 0 deletions