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
8d06affcc719bc3e68c574039c36b95dbccadf2f
openide/platform/backend
History
Konstantin Nisht 688f9b3085 [platform] Improve observability of tracking 
GitOrigin-RevId: 332dacc5eb2c984da937807643bebb7bbf3d29cb
2024-07-09 11:37:50 +00:00
..
observation
[platform] Improve observability of tracking
2024-07-09 11:37:50 +00:00
workspace
[jps build] provide a way to pass workspace model to the JPS build process in serialized way (IJPL-409)
2024-07-01 14:04:06 +00:00