added copy min heuristic 2 to options
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 1 May 2006 15:11:21 +0000 (15:11 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Mon, 1 May 2006 15:11:21 +0000 (15:11 +0000)

No differences found