diff options
author | David Runge | 2020-03-10 22:46:16 +0100 |
---|---|---|
committer | David Runge | 2020-03-10 22:46:16 +0100 |
commit | d72b702776f723060eed18f6381064c64337ddd1 (patch) | |
tree | eb1547a73153f5b0272096541dcc9b50053bb2cf /sonic-pi-git.desktop | |
parent | 1c056ae3732ef8deaa89b0e7362a80fad9c21daa (diff) | |
download | aur-d72b702776f723060eed18f6381064c64337ddd1.tar.gz |
PKGBUILD: Updating the build script in accordance with community/sonic-pi. Removing all unneeded customizations.
Diffstat (limited to 'sonic-pi-git.desktop')
-rw-r--r-- | sonic-pi-git.desktop | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/sonic-pi-git.desktop b/sonic-pi-git.desktop deleted file mode 100644 index 06867e6f8976..000000000000 --- a/sonic-pi-git.desktop +++ /dev/null @@ -1,10 +0,0 @@ -[Desktop Entry] -Encoding=UTF-8 -Type=Application -Name=Sonic pi -Comment=A music-centric programming environment, originally built for the raspberry pi. -Exec=/usr/bin/sonic-pi -Icon=sonic-pi-git -Terminal=false -StartupNotify=false -Categories=Application;Development; |