tree 0fa5b116b423149ec215f2030a8957a0a686fc1a
parent b1a54fb9f3571c882d9f2f4e34374042c8cf650d
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1364573965 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1364573965 -0400

use setting from planetstack config file