diff THIRD_PARTY_README @ 9543:f8a5f7f7d0bd

CheckCastNode: eliminate the other way around and replace the previous node with a more specific node regarding its type
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 03 May 2013 15:05:07 +0200
parents f6ba9007b2c6
children 9a48187fef5e
line wrap: on
line diff