clearer comments on how the newint stuff is used
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 24 Apr 2012 09:32:49 +0000 (11:32 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 24 Apr 2012 09:32:49 +0000 (11:32 +0200)
commit56b413b493beead6c184422d5c103c42d3667228
treee33910123380c469d5d91dfaf59e31bb737f556b
parent10f6502a7ee121ca1d842f2cbeb19f242c628f84
clearer comments on how the newint stuff is used
system/config_default.py