Home | History | Annotate | Download | only in tools

Lines Matching refs:DefaultSentinel

351 class DefaultSentinel(Node):
354     super(DefaultSentinel, self).__init__()
1042       default_parent = DefaultSentinel(default_binary_name)