very-dumb/software/robot/src/workspace/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.core.resources.prefs
Sébastien DI MERCURIO a97e849155 Reorganisation de qq fichier
Demande #42: Migrer le code sous xenomai
2019-01-17 15:18:19 +01:00

2 rader
40 B
INI

eclipse.preferences.version=1
version=1