Files
openide/platform/diff-impl
Chris Lemaire 3aa46ebba1 [diff] Make setting to include diffs in history default to OnlyIfOpen
Follow-up on: ed8dab6b00e5af06207c2d1772996a0964509ad2

GitOrigin-RevId: 33c743c5ae43096a57b945913f6965d0fb7ae32c
2024-07-12 13:54:28 +00:00
..