Skip to content
Snippets Groups Projects
Select Git revision
  • master protected
  • development default protected
  • cors-issue
  • 2240-overlay-column-map_name-does-not-work
  • 2207-compartments-can-be-selected-only-when-masking-content
  • devel_17.1.x protected
  • devel_17.0.x protected
  • devel_16.4.x protected
  • devel_16.3.x protected
  • devel_16.2.x protected
  • devel_16.1.x protected
  • devel_16.0.x protected
  • devel_15.1.x protected
  • devel_15.0.x protected
  • devel_14.0.x protected
  • devel_13.2.x protected
  • 486-activity-flow-support
  • devel_13.1.x protected
  • devel_13.0.x protected
  • devel_12.2.x protected
  • v18.2.0
  • v18.1.1
  • v18.1.0
  • v18.0.7
  • v18.0.6
  • v18.0.5
  • v18.0.4
  • v18.0.3
  • v18.0.2
  • v18.0.1
  • v18.0.0
  • v18.0.0-beta.6
  • v18.0.0-beta.5
  • v18.0.0-beta.4
  • v18.0.0-beta.3
  • v18.0.0-beta.2
  • v17.1.4
  • v18.0.0-beta.1
  • v18.0.0-beta.0
  • v17.1.3
40 results
Blame Permalink
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
org.eclipse.core.resources.prefs 57 B 
eclipse.preferences.version=1
encoding/<project>=UTF-8