source: branches/TerminationCriteria/HeuristicLab.Termination @ 12447

Name Size Rev Age Author Last Change
../
3.3 12447   4 years pfleck #2027 - Renamed TerminatonParameter to TerminatorParameter. - …
Note: See TracBrowser for help on using the repository browser.