Patch from Bastian Kleineidam <calvin@cs.uni-sb.de>: added 'remove_tree()'.
1 file changed