tree b0ca4fca38c78c4d3df712a88c4ea7e2ae955e7d
parent c97d5d41ddf990b6776addb62ec607a815a4ef91
author Junxiao Shi <git@mail1.yoursunny.com> 1417327358 -0700
committer Junxiao Shi <git@mail1.yoursunny.com> 1417327358 -0700

docs: memory needed for efficient compilation

refs #2171

Change-Id: Ibaff2c2d7c560c1efabfbf7b41a60060f137bc22