-
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 |
|---|---|---|
| .. | ||
| Gargantext | ||
| SeqFix | ||
| external-deps | ||
| sass | ||
| Main.purs |