New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Set color for Idris language #3866

Merged

lildude merged 1 commit into github-linguist:master from rkoeninger:idris-color

Oct 31, 2017

Contributor

rkoeninger commented Oct 18, 2017

Idris is probably big enough now to earn is its own color.

Medium red color (#b30000) taken from language logo:


          Set color for Idris language

82429ed

Alhadis approved these changes

View reviewed changes

Collaborator

Alhadis commented Oct 18, 2017 •

edited

Loading

If the language has enough usage to qualify for recognition on GitHub, then it certainly qualifies to have its own colour. ;)

There's no prerequisites for a registered language to have a colour, I mean.

lildude approved these changes

View reviewed changes

lildude merged commit 297be94 into github-linguist:master

github-linguist locked as resolved and limited conversation to collaborators

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet