Revision 6aab843360afa4ff50f1312909231754663df419

Committed on 10/01/2014 4:33 am by xrowrobert <robert@xrow.de> [GitHub Diff]

- improvement for dcopt