Open lucaswerkmeister opened 8 years ago
As a follow-up on #165, it would be nice if searching for ceylon.language/1.2.2 redirected you to https://herd.ceylon-lang.org/modules/ceylon.language/1.2.2.
ceylon.language/1.2.2
As a follow-up on #165, it would be nice if searching for
ceylon.language/1.2.2
redirected you to https://herd.ceylon-lang.org/modules/ceylon.language/1.2.2.