added deletion of nonempty directories

NeuroDesk / neurodesktop

The plug-and-play, browser-accessible, containerised data analysis environment.

https://www.neurodesk.org

MIT License

42 stars 12 forks source link

Closed stebo85 closed 1 year ago

stebo85 commented 1 year ago

fixes the problem that it wasn't possible to delete non-empty directories in jupyterlab