diff options
author | witt | 2023-06-24 17:47:15 +0800 |
---|---|---|
committer | witt | 2023-06-24 17:47:15 +0800 |
commit | 5d7514adf609d05241b9b55183bdfb26401ff66f (patch) | |
tree | 978bd9527b07916ad0cb0425542c1be93868660d /another-redis-desktop-manager.desktop | |
parent | db4bd90ff536f2d054deb6114a2bcca318426653 (diff) | |
download | aur-5d7514adf609d05241b9b55183bdfb26401ff66f.tar.gz |
package another-redis-desktop-manager-1.6.0
Diffstat (limited to 'another-redis-desktop-manager.desktop')
-rw-r--r-- | another-redis-desktop-manager.desktop | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/another-redis-desktop-manager.desktop b/another-redis-desktop-manager.desktop deleted file mode 100644 index 7cfa5fce3e9b..000000000000 --- a/another-redis-desktop-manager.desktop +++ /dev/null @@ -1,12 +0,0 @@ -[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 |