]> gerrit.simantics Code Review - simantics/platform.git/tree - releng/org.simantics.sdk.repository/.settings/
Code Review / simantics / platform.git / tree
? search:
summary | shortlog | log | commit | commitdiff | review | tree
history | HEAD | snapshot
Merge "Log an error if there are two resources with the same GUID."
[simantics/platform.git] / releng / org.simantics.sdk.repository / .settings /
drwxr-xr-x   ..
-rw-r--r-- 55 org.eclipse.core.resources.prefs blob | history | raw
-rw-r--r-- 86 org.eclipse.m2e.core.prefs blob | history | raw
Simantics Platform SDK.