scripts

Jan 15, 2025

f9e963c · Jan 15, 2025

This branch is 103 commits behind scala/docs.scala-lang:main.

Name	Name	Last commit message	Last commit date
parent directory ..
jquery-3.1.1.min.js	jquery-3.1.1.min.js	Use jQuery from CDN, fall back to local if needed, closes scala#1074	Jul 18, 2018
run-mdoc.sh	run-mdoc.sh	Scala 2.13.16 (scala#3143 )	Jan 15, 2025

Provide feedback