diff options
author | Shane | 2019-07-10 13:09:32 +0800 |
---|---|---|
committer | Shane | 2019-07-10 13:09:32 +0800 |
commit | eb9e942c3c9816a5c9270b5ab171c19d587947d1 (patch) | |
tree | 1cda98f7828aff2910cab8f65f2e9403bb165e8d /another-redis-desktop-manager.desktop | |
download | aur-eb9e942c3c9816a5c9270b5ab171c19d587947d1.tar.gz |
Another Redis Desktop Manager
Diffstat (limited to 'another-redis-desktop-manager.desktop')
-rw-r--r-- | another-redis-desktop-manager.desktop | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/another-redis-desktop-manager.desktop b/another-redis-desktop-manager.desktop new file mode 100644 index 000000000000..7cfa5fce3e9b --- /dev/null +++ b/another-redis-desktop-manager.desktop @@ -0,0 +1,12 @@ +[Desktop Entry] +Categories=Development;Utility; +Comment=A faster, better and more stable redis desktop manager. +Exec=/opt/Another.Redis.Desktop.Manager/AppRun +Icon=another-redis-desktop-manager +Name=Another-Redis-Desktop-Manager +StartupWMClass=Another.Redis.Desktop.Manager +Terminal=false +Type=Application +X-AppImage-BuildId=1NiitrlhpN0PQdDacKLp9dWtu3U +X-AppImage-Version=1.2.4 +X-Deepin-Vendor=user-custom |