Comment 10 for bug 795849

Revision history for this message
Dave Crossland (davelab6) wrote :

I think making this optional with ifdefs and a "./configure" flag is good.