Adapt scripts to scala/dotty.epfl.ch not lampepfl/dotty-website#21604
Merged
hamzaremmal merged 1 commit intoscala:mainfrom Sep 18, 2024
Merged
Adapt scripts to scala/dotty.epfl.ch not lampepfl/dotty-website#21604hamzaremmal merged 1 commit intoscala:mainfrom
hamzaremmal merged 1 commit intoscala:mainfrom