language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-12-23 05:36:48 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
3857 commits 42 branches 95 tags 22 MiB
Commit graph

5 commits

Author SHA1 Message Date
Cai BingJun
a9f5203c93 Merge branch 'main' of erg-lang/erg 2023-02-03 13:36:52 +08:00
Cai BingJun
a9d24d3b24 Update commit hash 2023-02-03 13:32:56 +08:00
toddlerer
cc59512585
Add sync_to_translation_status.er 2023-01-25 00:31:32 +09:00
Cai Bingjun
375ed0c7a1 Updata commit hash 2022-09-06 20:35:48 +08:00
Cai Bingjun
f2118ff45d trifle 2022-09-06 20:28:21 +08:00