Moved functions from opt_confirms.h into official header, do edgjfe can use them.
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 8 Oct 2010 19:20:35 +0000 (19:20 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 8 Oct 2010 19:20:35 +0000 (19:20 +0000)
[r28075]


No differences found