diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-11 10:41:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-11 10:41:32 +0200 |
| commit | bed66afee4b495e0eaaabdf481c91e75b096f27d (patch) | |
| tree | 8e93bbe888ce9d333ce5989b3e95d5071360028b /editor/icons/2x/icon_room.png | |
| parent | fd6b9d9ac7dfdf895ad9f297480216fcd908d8cf (diff) | |
| parent | e91bde652165a0be06c7019ed370ff45525a7170 (diff) | |
Merge pull request #10237 from Paulb23/convert_indent_save_issue_9841
Fixed undo when converting indent with no changes, issue 9841
Diffstat (limited to 'editor/icons/2x/icon_room.png')
0 files changed, 0 insertions, 0 deletions