jotty 62846de905 Merge branch 'reports26'

2026-04-10 19:46:31 +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

Merge branch 'reports26'

2026-04-10 19:46:31 +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