void
IRevisionListener. revisionInformationChanged ( RevisionEvent e)
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.