diff options
author | Aleksey Kladov <[email protected]> | 2019-11-27 18:32:33 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-11-27 18:35:06 +0000 |
commit | 757e593b253b4df7e6fc8bf15a4d4f34c9d484c5 (patch) | |
tree | d972d3a7e6457efdb5e0c558a8350db1818d07ae /editors | |
parent | d9a36a736bfb91578a36505e7237212959bb55fe (diff) |
rename ra_ide_api -> ra_ide
Diffstat (limited to 'editors')
-rw-r--r--[-rwxr-xr-x] | editors/code/src/utils/terminateProcess.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/editors/code/src/utils/terminateProcess.sh b/editors/code/src/utils/terminateProcess.sh index 2ec9e1c2e..2ec9e1c2e 100755..100644 --- a/editors/code/src/utils/terminateProcess.sh +++ b/editors/code/src/utils/terminateProcess.sh | |||