Chris de Graaf 8ef7e0032e Update Documenter		2019-12-17 12:15:00 +07:00
..
src	Add GitHubActions plugin for CI and docs	2019-11-10 11:15:55 +07:00
make.jl	Disable pretty urls except in CI	2019-11-01 09:41:22 +07:00
Manifest.toml	Update Documenter	2019-12-17 12:15:00 +07:00
Project.toml