-fix a bug in extra cull margin, closes #1760

This commit is contained in:
Juan Linietsky 2015-05-01 11:26:23 -03:00
parent e5a678a3b7
commit d7ec3385a1
2 changed files with 0 additions and 0 deletions

Binary file not shown.

Binary file not shown.