diff options
author | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2018-07-06 12:37:17 +0300 |
---|---|---|
committer | Brecht Van Lommel <brechtvanlommel@gmail.com> | 2018-07-06 15:19:11 +0300 |
commit | a364150c14dbe8676b65cd45b54f43a581c3b765 (patch) | |
tree | bf661ab93034f78e6e3c71ff3c21d3bb2c2943a0 /source/blender/editors/interface/interface_widgets.c | |
parent | 02f903d0996a785b5e167b26907ff53e967037d7 (diff) |
Fix crash with properties editor pinning.
Diffstat (limited to 'source/blender/editors/interface/interface_widgets.c')
0 files changed, 0 insertions, 0 deletions