archive/org.eclipse.ocl.pivot.internal/ReadMe.txt - ocl/org.eclipse.ocl - Git at Google

 This plugin has been merged into to org.eclipse.ocl.pivot.

 Content here prevents the obsolete plugin being used and may provide a small amount of backward compatibility.
	This plugin has been merged into to org.eclipse.ocl.pivot.

	Content here prevents the obsolete plugin being used and may provide a small amount of backward compatibility.