]> rtime.felk.cvut.cz Git - orte.git/blob - orte/Robot_Demo/.settings/org.eclipse.jdt.core.prefs
projects / orte.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
JORTE: fix bug in subscriber callback
[orte.git] / orte / Robot_Demo / .settings / org.eclipse.jdt.core.prefs
1 eclipse.preferences.version=1
2 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
3 org.eclipse.jdt.core.compiler.compliance=1.6
4 org.eclipse.jdt.core.compiler.source=1.6
Mirror of ORTE from Git on SourceForge. ORTE is open-source implementation of real-time publish-subscribe protocol.