Ah... hex file download is something that could be nice, but never seems like a high priority. If you're already using another tool to generate the .hex file, why upload it with Arduino?
Ah... hex file download is something that could be nice, but never seems like a high priority. If you're already using another tool to generate the .hex file, why upload it with Arduino?