scripts

Jan 4, 2021

34d17d7 · Jan 4, 2021

Name	Name	Last commit message	Last commit date
parent directory ..
ci.sh	ci.sh	Ignore status code 400	Jan 4, 2021
jquery-3.1.1.min.js	jquery-3.1.1.min.js	Use jQuery from CDN, fall back to local if needed, closes #1074	Jul 18, 2018
run-mdoc.sh	run-mdoc.sh	Finish migrating everything from tut to mdoc and update docs	Dec 11, 2020

Provide feedback