home UI: rename the links - Githubissues

polifonia-project / facets-search-engine

6 stars 0 forks source link

home UI: rename the links #125

Open TiangeZhu opened 1 year ago

TiangeZhu commented 1 year ago

change some of names, try to use verbs

home/ should be the default page