mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-19 10:20:56 +07:00
First iteration. Minor errors fixed. Merge-request: IJ-MR-154104 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> GitOrigin-RevId: c4410fdf09edef7c0974ecb6bb15dbd465defbca
241 B
241 B