MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-19 13:02:30 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
2fa85150a25ac96a835acd6bcb14ced13eb121ae
openide/platform/diff-impl/resources/META-INF
History
Chris Lemaire c580b1842a [diff] Make registry option to include diffs in nav history a setting (IJPL-157316) 
#IJPL-157316 Fixed

GitOrigin-RevId: c10d12ba1b68944f0f2b85e361b54856c091ecd7
2024-07-02 21:01:51 +00:00
..
diff-impl.xml
[diff] Make registry option to include diffs in nav history a setting (IJPL-157316)
2024-07-02 21:01:51 +00:00