Which project file holds the Arduino setting for flash size?

http://forum.arduino.cc/index.php?topic=534572.msg3646421#msg3646421