Google Git
Sign in
eclipse / sphinx / org.eclipse.sphinx / ed8542fb15e648ead306dcd2bab731d192bc5616 / . / plugins / org.eclipse.sphinx.emf.workspace / src / org / eclipse / sphinx / emf / workspace / domain
tree: 34adbd5d0047cc4944c93b81dd66b83ccfaa0f5b [path history] [tgz]
  1. factory/
  2. mapping/
  3. package.html
  4. WorkspaceEditingDomainManager.java