3 Commits

Author	SHA1	Message	Date
Timur Ismagilov	6a26c08d02	Rename primitive search to title search ... Makes more sense, actually	2021-07-12 22:14:08 +05:00
Timur Ismagilov	ba0b12a803	Add the search form to the top bar ... Also change /primitive-search/ syntax	2021-07-12 22:14:08 +05:00
Timur Ismagilov	938a9e832d	Implement primitive search ... Basically, it looks if the query is a substring of hypha names	2021-07-12 22:14:08 +05:00