Open andreasabel opened 2 years ago
The link to "Lightshow" doesn't lead anywhere anymore: https://github.com/agda/agda-github-syntax-highlighting/blob/ba7aef428c0b900675696de17e1ee6bc9d7e684e/README.md?plain=1#L8
Apparently, this product has been shredded as of Sunday (1st May 2022):
The link to "Lightshow" doesn't lead anywhere anymore: https://github.com/agda/agda-github-syntax-highlighting/blob/ba7aef428c0b900675696de17e1ee6bc9d7e684e/README.md?plain=1#L8
Apparently, this product has been shredded as of Sunday (1st May 2022):