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

FIX #113 : let the user change the tags for highlighting #117

Merged
merged 1 commit into from
Jun 23, 2015
Merged

Conversation

bobylito
Copy link
Contributor

No description provided.

@bobylito
Copy link
Contributor Author

@dethi I think this should interest you :)

@dethi
Copy link

dethi commented Jun 23, 2015

👍 💥

bobylito added a commit that referenced this pull request Jun 23, 2015
FIX #113 : let the user change the tags for highlighting
@bobylito bobylito merged commit 37c0a7c into develop Jun 23, 2015
@bobylito bobylito deleted the fix/113 branch June 23, 2015 14:12
dhayab pushed a commit to algolia/instantsearch that referenced this pull request Jul 10, 2023
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.

2 participants