b7640b9bf7
Changes to be committed: modified: .metadata/.plugins/org.eclipse.cdt.core/.log deleted: .metadata/.plugins/org.eclipse.core.resources/.root/1.tree modified: .metadata/.plugins/org.eclipse.core.resources/.safetable/org.eclipse.core.resources modified: .metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.ui.ide.prefs modified: .metadata/.plugins/org.eclipse.e4.workbench/workbench.xmi modified: .metadata/version.ini renamed: config-4.9.330-0+deb9u0 -> config-4.9.337-0+deb9u0
4 lines
100 B
INI
4 lines
100 B
INI
#Thu Dec 14 15:31:49 CET 2023
|
|
org.eclipse.core.runtime=2
|
|
org.eclipse.platform=4.22.0.v20211124-1800
|