search

ohbm / osr2022

0 stars 7 forks source link

Revert "[WIP] Educational search bar" #12

Closed rgbayrak closed 2 years ago

rgbayrak commented 2 years ago

Reverts ohbm/osr2022#10

RaphaelMeudec commented 2 years ago

@rgbayrak I think this needs to be merged right now to avoid regressions on the educational page. I'll open a new PR with the search and tags when it's ready!