1 2 3 4 5
eclipse.preferences.version=1 editors/options/Parameters.background=39,40,34 editors/options/Parameters.foreground=207,191,173 editors/options/Proposals.background=39,40,34 editors/options/Proposals.foreground=207,191,173
