diff options
Diffstat (limited to '.config/micro/plug/filemanager/repo.json')
| -rw-r--r-- | .config/micro/plug/filemanager/repo.json | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/.config/micro/plug/filemanager/repo.json b/.config/micro/plug/filemanager/repo.json new file mode 100644 index 0000000..eb814d4 --- /dev/null +++ b/.config/micro/plug/filemanager/repo.json @@ -0,0 +1,38 @@ +[ + { + "Name": "filemanager", + "Description": "File manager for Micro", + "Tags": ["filetree", "filemanager", "file", "manager"], + "Website": "", + "Versions": [ + { + "Version": "2.1.1", + "Url": "https://github.com/NicolaiSoeborg/filemanager-plugin/archive/v2.1.1.zip", + "Require": { + "micro": ">=1.3.2" + } + }, + { + "Version": "3.1.0", + "Url": "https://github.com/NicolaiSoeborg/filemanager-plugin/archive/v3.1.0.zip", + "Require": { + "micro": ">=1.3.5" + } + }, + { + "Version": "3.4.0", + "Url": "https://github.com/NicolaiSoeborg/filemanager-plugin/archive/v3.4.0.zip", + "Require": { + "micro": ">=1.4.1" + } + }, + { + "Version": "3.5.0", + "Url": "https://github.com/NicolaiSoeborg/filemanager-plugin/archive/v3.4.0.zip", + "Require": { + "micro": ">=2.0.0-1" + } + } + ] + } +] |