Home | History | Annotate | Download | only in sh

Lines Matching full:pushed

966      have just been pushed. so pushing a state here evens the stacks.