comparison .settings/org.eclipse.core.resources.prefs @ 213:bea1625524fe default tip

when you put and join to SessionManager, this plugin open a window for inputting address and port of SessionManager
author kazz
date Mon, 20 Dec 2010 14:14:41 +0900
parents dd811063bbc5
children
comparison
equal deleted inserted replaced
212:58c0e5c876b8 213:bea1625524fe