Closed holtzmak closed 3 years ago
Closes #61
This PR adds. simple search bar to questions/announcements. A way this could potentially evolve in the future is to drop pre-determined topics/sub-topics and allow people to have whatever they want, since searching is so easy.
Changes simply look like:
Closes #61
This PR adds. simple search bar to questions/announcements. A way this could potentially evolve in the future is to drop pre-determined topics/sub-topics and allow people to have whatever they want, since searching is so easy.
Changes simply look like: