Skip to content
This repository has been archived by the owner on Jul 13, 2023. It is now read-only.

chore: remove repo-tools from a few spots #239

Merged
merged 1 commit into from
Dec 15, 2018
Merged

chore: remove repo-tools from a few spots #239

merged 1 commit into from
Dec 15, 2018

Conversation

JustinBeckwith
Copy link
Contributor

No description provided.

@googlebot googlebot added the cla: yes This human has signed the Contributor License Agreement. label Dec 15, 2018
@JustinBeckwith JustinBeckwith merged commit 1c20d12 into googleapis:master Dec 15, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
cla: yes This human has signed the Contributor License Agreement.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants