Package rma.util.logging.marking

Interface RmiWorkspacePropLoggingMarker

public interface RmiWorkspacePropLoggingMarker

This is a purposefully empty interface used as a logging marker. Do not modify.