Wim Brand 75486d62d8 simplify theming

2020-03-10 17:06:52 +01:00

..

DirectoryElement.js

simplify theming

2020-03-10 17:06:52 +01:00

DirectoryNode.js

add option to delete files

2020-02-18 14:57:27 +01:00

FileManager.js

deploy file manager

2020-02-03 17:28:26 +01:00