arduino/Arduino — pull request #1178 by sgk (2012-12-19 16:54:07+00:00)
Title: Default sketchbook folder for Linux should be "Arduino".

This is a pull request based on "ide-1.5.x" branch. You may want to make the same modification on "master" branch.