hjg
2023-11-22 975c04c0181b3da82a79cb04abe6a2f1799eb363
1
2
eclipse.preferences.version=1
line.separator=\r\n