| commit | 3587dc723c73035cde964c5e12d9a9cf1d3deca5 | [log] [tgz] |
|---|---|---|
| author | Tony Mack <tmack@paris.CS.Princeton.EDU> | Mon Oct 14 22:01:43 2013 -0400 |
| committer | Tony Mack <tmack@paris.CS.Princeton.EDU> | Mon Oct 14 22:01:43 2013 -0400 |
| tree | 089bea8873de9d5e983283438951fd2bd64de4a8 | |
| parent | 04054f547193f774cd77133d70e61309860e18b9 [diff] |
rename config option