mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
``server`` is binary, hence we add ``exec.txt`` with list of files to mark with ``chmod +x`` Merge-request: IJ-MR-103367 Merged-by: Ilya Kazakevich <ilya.kazakevich@jetbrains.com> GitOrigin-RevId: 0d7dd157413c0783b5fdcc35f33f3e50b62321a3
0 lines
0 B
Plaintext
0 lines
0 B
Plaintext
The file is empty.