comparison make/templates/gpl-header @ 13192:824e40a3a4a1

annotate UnsafeCastNode as deprecated
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 29 Nov 2013 10:09:18 +0100
parents b2045e0af26e
children
comparison
equal deleted inserted replaced
13191:c50290e743f9 13192:824e40a3a4a1