language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-09-29 20:34:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
1827 commits 42 branches 95 tags 21 MiB
Commit graph

56 commits

Author SHA1 Message Date
Shunsuke Shibayama
1e3819b416 Set timeout in REPL 2022-08-17 12:02:56 +09:00
toddlerer
52b7c00a87
Fix --verbose option typo 2022-08-17 09:18:52 +09:00
Shunsuke Shibayama
beb0965cde Automatically display evaluation results in REPL 2022-08-14 20:51:17 +09:00
Shunsuke Shibayama
2bba7f741c Fix some warnings 2022-08-13 07:22:00 +09:00
Shunsuke Shibayama
6726d93f65 Do cargo fmt 2022-08-13 07:02:07 +09:00
Shunsuke Shibayama
f9d91aa38e Organize crates 2022-08-13 06:38:12 +09:00
Renamed from src/erg_common/config.rs (Browse further)