diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2015-01-17 09:48:11 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2015-01-17 09:48:11 -0300 |
| commit | cdf3c5b0ebe97fc2151fb41b914a7c7ff9936413 (patch) | |
| tree | 304271d3a6d48cd4ecabf53dfc038b83cf42ae89 /tools/editor/plugins | |
| parent | 7ac7956baf220118a2a10162d3eebf25c2054980 (diff) | |
| parent | 9bbc3f0c94bfdbaceb507e4ccaf388950d84d8f0 (diff) | |
Merge pull request #1181 from adolson/duplicate-node-naming-prefs
fix naming of duplicated nodes, closes #1161
Diffstat (limited to 'tools/editor/plugins')
0 files changed, 0 insertions, 0 deletions