| commit | da856e80d6e9dd54c72c6c18d42644cd271145f9 | [log] [tgz] |
|---|---|---|
| author | apanchenk <apanchenk> | Thu Jul 17 07:08:19 2008 +0000 |
| committer | apanchenk <apanchenk> | Thu Jul 17 07:08:19 2008 +0000 |
| tree | c4111371fc633c95fb121056e3f739198e1de46c | |
| parent | f972d5a44d44a5bee93b641b8ff66fffa62cb214 [diff] |
common base class ProblemCollector extracted