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

Move the search extension to the platform-search repo #195

Merged
merged 1 commit into from
Jul 7, 2015

Conversation

johanjanssens
Copy link
Member

resolve #194

@johanjanssens johanjanssens added this to the 1.0 milestone Jul 7, 2015
johanjanssens added a commit that referenced this pull request Jul 7, 2015
Move the search extension to the platform-search repo
@johanjanssens johanjanssens merged commit 3e7fa7b into develop Jul 7, 2015
@johanjanssens johanjanssens deleted the feature/194-search branch July 7, 2015 02:27
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant