Skip to content

Conversation

@garazdawi
Copy link
Contributor

We do this in order for https://github.com/github-linguist/linguist/ to work.

See github-linguist/linguist#7210 for details.

@robertoaloi
Copy link
Member

Thanks! We should probably update the extensions as well to have the correct location.

@robertoaloi robertoaloi merged commit 7672011 into erlang-ls:main Jan 22, 2025
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants