arduino/Arduino — pull request #2458 by championswimmer (2014-11-19 19:16:32+00:00)
Title: Add save hex option and update Sketch menu 

* Have "Save Hex" option (with Ctrl + Shift + R as well)
* Move Upload and Upload w/ Programmer into Sketch menu
as they are functions of sketch and not file technically