As the subject says - because jakarta-gump has been renamed to gump, the traditional 
gumps have stopped picking up changes to Gump
settings.

Seems to me that if they are still running, it would be useful if they could continue 
to pick up project file changes - or is this
very tricky to fix?

S.


---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to