]> git.tuebingen.mpg.de Git - osl.git/commitdiff
rbtree.c: Remove unused rb_replace_node().
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 3 Jan 2015 17:02:12 +0000 (17:02 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 18 Feb 2015 14:08:57 +0000 (15:08 +0100)
Found by cppcheck.


No differences found