Jottyfan a1fc517911 added camp document editor, see #24

2025-10-22 23:04:52 +02:00

..

org.eclipse.buildship.core.prefs

register already known persons

2023-10-25 10:14:26 +02:00

org.eclipse.jdt.core.prefs

added camp document editor, see #24

2025-10-22 23:04:52 +02:00

org.eclipse.wst.common.component

added camp document editor, see #24

2025-10-22 23:04:52 +02:00

org.eclipse.wst.common.project.facet.core.xml

added camp document editor, see #24

2025-10-22 23:04:52 +02:00

org.springframework.ide.eclipse.prefs

corrected privileges, see #11

2023-12-27 11:01:46 +01:00