-
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 |
---|---|---|
.. | ||
Components | Loading commit data... | |
Config | ||
Context | ||
Core/NgramsTable | ||
Data | ||
Hooks | ||
Sessions | ||
Text | ||
Utils | ||
AsyncTasks.purs | ||
Classes.purs | ||
Config.purs | ||
Ends.purs | ||
Hooks.purs | ||
Prelude.purs | ||
Router.purs | ||
Routes.purs | ||
Sessions.purs | ||
Types.purs | ||
Utils.purs |