arduino/Arduino — pull request #1572 by mavit (2013-09-11 11:05:50+00:00)
Title: Files required for integration with a Linux distribution

Here are various files required to integrate an application with the Linux desktop. If these files could be included with the Arduino source, Linux distributors wouldn't have to each maintain their own copies.