diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-08-14 00:51:39 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-08-14 00:51:39 -0500 |
commit | 96b970c71bcc37fa62962aad88ce1715c0abcc86 (patch) | |
tree | 26f728ba96163dfc9ed361da8b54e8bc9d5947d0 /java/arduino/arduino.desktop | |
parent | 79e88b0afb93ad661326ecfc1516441d86e6649f (diff) | |
download | abslibre-96b970c71bcc37fa62962aad88ce1715c0abcc86.tar.gz abslibre-96b970c71bcc37fa62962aad88ce1715c0abcc86.tar.bz2 abslibre-96b970c71bcc37fa62962aad88ce1715c0abcc86.zip |
Removing java/arduino. Use pcr/arduino instead
Diffstat (limited to 'java/arduino/arduino.desktop')
-rw-r--r-- | java/arduino/arduino.desktop | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/java/arduino/arduino.desktop b/java/arduino/arduino.desktop deleted file mode 100644 index 8469724ea..000000000 --- a/java/arduino/arduino.desktop +++ /dev/null @@ -1,9 +0,0 @@ -[Desktop Entry] -Name=Arduino -GenericName=Arduino IDE -Comment=The open-source Arduino environment -Exec=arduino -Icon=arduino -Type=Application -Terminal=false -Categories=Development;IDE;Qt;KDE;;Application; |