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

SEARCH #2

Open
ariutti opened this issue Jan 27, 2018 · 1 comment
Open

SEARCH #2

ariutti opened this issue Jan 27, 2018 · 1 comment
Labels
enhancement New feature or request help wanted Extra attention is needed
Milestone
v1.0

Comments

@ariutti
Copy link
Contributor

ariutti commented Jan 27, 2018

inserisci parte di codice JS mancante per far funzionare il campo di ricerca della sidebar.
@ariutti ariutti added enhancement New feature or request help wanted Extra attention is needed labels Jan 27, 2018
@ariutti ariutti added this to the v1.0 milestone Jan 27, 2018
@ariutti
Copy link
Contributor Author

ariutti commented Jan 27, 2018

Questo plugin sembra essere interessante: link

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement New feature or request help wanted Extra attention is needed
Projects
None yet
Milestone
v1.0
Development

No branches or pull requests
1 participant
@ariutti