view rep/gui/SessionManagerEvent.java @ 454:234dd2c88f0f

resend after merge fix
author one
date Thu, 23 Sep 2010 23:17:20 +0900
parents 4b87f89b3afd
children
line wrap: on
line source

package rep.gui;

import rep.SessionManager;

public interface SessionManagerEvent {

	void exec(SessionManager manager);

}