#
# ChangeLog for .settings/org.eclipse.jdt.ui.prefs
#
# Generated by Trac 1.6
# Jul 2, 2025, 9:13:34 AM