diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-03 12:10:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-03 12:10:25 +0200 |
| commit | 803ccb5c7f306cc456208170ce36ac0847be45b3 (patch) | |
| tree | 0ff100528a9f40595043162eb6f24eec4d0ba247 /tools/dist | |
| parent | b675710b4639cca8dd01c5aba50e9f1834fed17e (diff) | |
| parent | ac80e68d2f60012f315d268c4a9d70dffb02f901 (diff) | |
Merge pull request #6684 from Hinsbart/save_all
Fix "Save All" option in Script editor.
Diffstat (limited to 'tools/dist')
0 files changed, 0 insertions, 0 deletions