Lines Matching full:pruned
534 // Replace the text between start and end with our pruned version.
864 // Imagine moving 'bar' to ^. 'bar' will be deleted and its div pruned. That would
958 // Imagine moving 'bar' to ^. 'bar' will be deleted and its div pruned. That would
