From 8f7864451d01a4031fed302e72709054d4128761 Mon Sep 17 00:00:00 2001
From: layman <layman@localhost>
Date: Fri, 8 Jul 2016 22:40:06 +0200
Subject: [PATCH] Added arduino.desktop file

---
 dev-embedded/arduino/files/arduino.desktop | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 dev-embedded/arduino/files/arduino.desktop

diff --git a/dev-embedded/arduino/files/arduino.desktop b/dev-embedded/arduino/files/arduino.desktop
new file mode 100644
index 0000000..e55ce93
--- /dev/null
+++ b/dev-embedded/arduino/files/arduino.desktop
@@ -0,0 +1,11 @@
+[Desktop Entry]
+Version=1.0
+Name=Arduino
+GenericName=Arduino IDE
+Comment=Open-source electronics prototyping platform
+Exec=arduino
+Icon=arduino
+Terminal=false
+Type=Application
+Categories=Development;IDE;Java
+StartupNotify=false