[skip ci] Updated translations via Crowdin

options/locale/locale_ko-KR.ini

@@ -672,7 +672,6 @@ editor.filename_cannot_be_empty=파일명이 빈칸입니다.
 editor.branch_already_exists=이 저장소에 브랜치 '%s'가 이미 존재합니다.
 editor.file_already_exists='%s' 파일명은 이미 이 저장소에 존재합니다.
 editor.no_changes_to_show=표시할 변경사항이 없습니다.
-editor.fail_to_update_file=파일 '%s'를 변경/추가 하는데 실패하였습니다. 에러: %v
 editor.add_subdir=경로 추가...
 editor.unable_to_upload_files=파일 '%s'를 업로드하는데 실패하였습니다. 에러: %v
 editor.upload_files_to_dir=파일 업로드 '%s'
@@ -884,6 +883,7 @@ pulls.rebase_merge_pull_request=리베이스와 머지
 pulls.rebase_merge_commit_pull_request=리베이스와 머지 (--no-ff)
 pulls.squash_merge_pull_request=스쿼시하고 머지
 pulls.invalid_merge_option=이 풀 리퀘스트에서 설정한 머지 옵션을 사용하실 수 없습니다.
+; </summary><code>%[2]s<br>%[3]s</code></details>
 
 milestones.new=새로운 마일스톤
 milestones.open_tab=%d개 열림