Chris de Graaf 5a8934350c Disable pretty urls except in CI		2019-11-01 09:41:22 +07:00
..
src	Add interactive constructor for Documenter	2019-09-27 00:08:02 +07:00
make.jl	Disable pretty urls except in CI	2019-11-01 09:41:22 +07:00