tree 4f706c8bc41545c1a3bd9f51e4fbed0c041b764d
parent f11866bab9938fe343ca1cc1596a069355ecbe8d
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1364570636 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1364570636 -0400

fix config options