mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
1. Rewrite the installation script. Now it returns Path to executable. 2. Save an executable path to Properties. Merge-request: IJ-MR-150390 Merged-by: Egor Eliseev <Egor.Eliseev@jetbrains.com> (cherry picked from commit cafb40528ea0e2613248a37291e76e4d24e34674) GitOrigin-RevId: 911afa3ee4c2e38231cc58f19337f2b7125bea44