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 /core/global_constants.h | |
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 'core/global_constants.h')
0 files changed, 0 insertions, 0 deletions