Johannes Zellner b36fc57b5a Use better filemanager refresh icon

2022-08-24 14:31:16 +02:00

..

filetree.html

Use better filemanager refresh icon

2022-08-24 14:31:16 +02:00

filetree.js

Add initial splitview option for filemanager

2022-08-24 12:37:35 +02:00