tree 947b886c7d981e5567546a7cee0dd3fdd2ce913f
parent 3811937cf1348f21e52cc79838bf11b1da184209
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1367360283 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1367360283 -0400

remove refrences to flavor. use m1.small as the default flavor