diff options
Diffstat (limited to '.config/micro/plug/filemanager/repo.json')
| -rw-r--r-- | .config/micro/plug/filemanager/repo.json | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/.config/micro/plug/filemanager/repo.json b/.config/micro/plug/filemanager/repo.json deleted file mode 100644 index eb814d4..0000000 --- a/.config/micro/plug/filemanager/repo.json +++ /dev/null @@ -1,38 +0,0 @@ -[ - { - "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" - } - } - ] - } -] |