dashboard UI: manage indexes(?)

polifonia-project / facets-search-engine

6 stars 0 forks source link

Open TiangeZhu opened 2 years ago

TiangeZhu commented 2 years ago

(developers only? or to everyone? because deleting is dangerous) manage index includes modify and delete an index.