Skip to content
This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Use refreshIndex instead of index in Repository#179

Merged
as-cii merged 1 commit intomasterfrom
as-use-refresh-index
Jul 12, 2016
Merged

Use refreshIndex instead of index in Repository#179
as-cii merged 1 commit intomasterfrom
as-use-refresh-index

Conversation

@as-cii
Copy link
Copy Markdown
Contributor

@as-cii as-cii commented Jul 12, 2016

@as-cii as-cii merged commit 1d80d16 into master Jul 12, 2016
@as-cii as-cii deleted the as-use-refresh-index branch July 12, 2016 15:06
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.

1 participant