Skip to content
This repository has been archived by the owner on Mar 25, 2021. It is now read-only.

Remove method skip from RuleWalker#2313

Merged
nchen63 merged 1 commit intopalantir:masterfrom ajafff:remove_skipMar 7, 2017

Commits

Commits on Mar 7, 2017