Wim Brand d8df6b5863 fix column width

2020-03-10 17:17:36 +01:00

..

DirectoryElement.js

fix column width

2020-03-10 17:17:36 +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