diff options
author | Sergey Sharybin <sergey.vfx@gmail.com> | 2014-06-11 11:13:36 +0400 |
---|---|---|
committer | Sergey Sharybin <sergey.vfx@gmail.com> | 2014-06-11 11:13:36 +0400 |
commit | e53c00a2db9e3bf33badca135630d4f5d24b2087 (patch) | |
tree | 60550a1728b074124253b348f77295326b43610d /extern/carve/carve-util.cc | |
parent | bd43ac04a5b36743d7234e076c1d9b39657dda48 (diff) |
Add patchset to recent Carve changes
In the future i'd rather have this reported to an
upstream instead of adding local changes. It's really
easy to override this changes if patchset is not added
and this is to be fixed in upstream. Also the function
was never used so it was rather totally harmless warning
for us.
Diffstat (limited to 'extern/carve/carve-util.cc')
0 files changed, 0 insertions, 0 deletions