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

file-header: Remove unnecessary RuleWalker #2469

Merged
merged 1 commit into from
Apr 3, 2017

Conversation

andy-hanson
Copy link
Contributor

PR checklist

  • Addresses an existing issue: #0000
  • New feature, bugfix, or enhancement
    • Includes tests
  • Documentation update

Overview of change:

Just a refactor.

@adidahiya adidahiya merged commit 73d50ea into palantir:master Apr 3, 2017
@andy-hanson andy-hanson deleted the file-header branch April 3, 2017 04:45
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants