-
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 |
|---|---|---|
| .. | ||
| Action | ||
| Box | ||
| Tools | ||
| Action.purs | ||
| Box.purs | ||
| Settings.purs | ||
| Status.purs | ||
| Tools.purs |