aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Github Highlight

Open HoshinoTented opened this issue 3 years ago • 3 comments

I think we need a highlight configuration for GitHub, I found something from here

HoshinoTented avatar Nov 15 '22 10:11 HoshinoTented

I guess you are looking for https://github.com/aya-prover/aya-tmbundle but it is outdated

imkiva avatar Nov 15 '22 15:11 imkiva

FYI https://github.com/github/linguist/pull/4777/

ice1000 avatar Nov 15 '22 19:11 ice1000

I guess you are looking for https://github.com/aya-prover/aya-tmbundle but it is outdated

It is up-to-date now

imkiva avatar Nov 18 '22 04:11 imkiva