plugins/org.eclipse.ocl.edit/.settings - ocl/org.eclipse.ocl - Git at Google

eclipse/ocl/org.eclipse.ocl/refs/heads/origin/./plugins/org.eclipse.ocl.edit/.settings

tree: 89efeb780ccd95abe0e49c0c4c770811788d8def

org.eclipse.jdt.core.prefs

Powered by Gitiles| Privacy| Termstxt json