language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-28 04:09:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: ownership checker bug

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-12-25 16:26:53 +09:00
parent 94df64d696
commit c34e013658
5 changed files with 65 additions and 52 deletions
Download patch file Download diff file Expand all files Collapse all files

2
doc/scripts/sync_to_translation_status.er
View file

@ -25,7 +25,7 @@ get_badge! file_path =
do!:
"File not found"
get_doc_en_file_paths! relative_dir_path, relative_file_paths_result := [] =
get_doc_en_file_paths! relative_dir_path, relative_file_paths_result: List(Str) := [] =
dir_path = mylib.path_join(cwd, relative_dir_path)
dir_list = sorted os.listdir! dir_path
relative_file_paths = ![]