Merge remote-tracking branch 'origin/master'

ludc

2024-08-16 60c39bdb211bce90f87a058b9dba0b63d67dea8e

1
2
eclipse.preferences.version=1
org.eclipse.ltk.core.refactoring.enable.project.refactoring.history=false