[Checkers] Eclipse workspace configurations

Michael Ernst mernst at csail.mit.edu
Tue Mar 25 16:10:17 EDT 2008


Matt-

> Does anyone know how to move Eclipse workspace configurations across 
> machines, or if it's even possible?

I don't know.  How about asking the entire PAG mailing list?  There are
several Eclipse users on it who ought to know.

                     Thanks,

                    -Mike



More information about the checkers mailing list