-
Fabien Manière authored
remove the delete button to avoid confusion - deleting documents node currently does not really delete them and we have to delete them from the Corpus node
0edb3875
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Tree | ||
| Breadcrumb.purs | ||
| Tree.purs |