mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
Follow up on: fffb97e2c12131c686f119af5eb1407956a282ee Accidentally disabled navigation in diffs by default. This should be enabled at least for now. GitOrigin-RevId: 02b0936f06651fc8ac8c302a1abd11e20039d953