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
erg/.github
History
toddlerer 4a616cdc02
CI: automatically run sync_to_summary.py and commits
2023-01-07 23:33:06 +09:00
..
ISSUE_TEMPLATE Update OS in issue templates 2023-01-01 07:56:34 +09:00
workflows CI: automatically run sync_to_summary.py and commits 2023-01-07 23:33:06 +09:00
pull_request_template.md Create pull_request_template.md 2022-08-21 20:42:11 +08:00