mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 06:39:38 +07:00
- local profiles are stored in config/copyright directory; - local profiles can be used directly in project copyright mapping; - if a local profile is absent, then project mapping ignores it and proceeds to the next; - deletion of a local profile doesn't change project mappings; - import happens always as shared profile; IDEA-136468 GitOrigin-RevId: 45b6babdd8043dc13eaf9e3a97800bb0935cd857