Merge remote-tracking branch 'origin/master'

ludc

2024-12-10 62e34faacf9d5de8bf94de6cabd219560af3b1d7

1
2
3
4
eclipse.preferences.version=1
encoding//src/properties=UTF-8
encoding//src/properties/corba.properties=UTF-8
encoding/<project>=UTF-8