source: source/class @ 280:dd27e12fb322

Name Size Rev Age Author Last Change
../
pf 280:dd27e12fb322   13 years Evgeny.Stambulchik Make sure condition n_u > n_l holds during update.
Note: See TracBrowser for help on using the repository browser.