This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2025-12-16 22:51:17 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
4c9572f7b9f0071e55b48a7e2e86f6572e8f92e4
openide
/
platform
/
diff-api
/
resources
/
messages
History
Chris Lemaire
0a34a0f074
[diff] Add an option to include diffs in history only when the diff is still open (IJPL-157316)
...
GitOrigin-RevId: ed8dab6b00e5af06207c2d1772996a0964509ad2
2024-07-02 21:01:51 +00:00
..
DiffBundle.properties
[diff] Add an option to include diffs in history only when the diff is still open (IJPL-157316)
2024-07-02 21:01:51 +00:00
