Matt, did anyone answer your questions? The --nosubmit is still necessary as far as I know. On Tue, May 21, 2013 at 9:01 AM, Matt DeJongh <[email protected]> wrote:

I remember that there is an undocuments --nosubmit or something like that ... is it still necessary? Anything else? Thanks,

Matt

-- Matt DeJongh, Ph.D. Computer Science Department Hope College, Holland, MI 49423 (616) 395-7429

_______________________________________________ Microbe mailing list [email protected] https://lists.kbase.us/mailman/listinfo/microbe