mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
Adds Pulsar. #IDEA-360703 (cherry picked from commit 1d6586290e0e0cc050881ef359f9019d20169f6b) IJ-CR-148348 GitOrigin-RevId: 166c456fc53f1159361be79956c02175d6ebfc55