Use PGM_P instead of prog_char#1695

matthijskooijman wants to merge 1 commit intoarduino:ide-1.5.xarduino/Arduino:ide-1.5.xfrom

matthijskooijman:ide-1.5.x-prog_charmatthijskooijman/Arduino:ide-1.5.x-prog_charCopy head branch name to clipboard