Takafumi Arakaki bd4e95ba6a Use "dev" instead of "latest" to link GitHub pages ... It seems Documenter.jl changed the setting: https://juliadocs.github.io/Documenter.jl/v0.21/lib/public/#Documenter.deploydocs		2019-01-25 23:29:56 -08:00
..
appveyor.jl	Deprecate CodeCov for Codecov	2018-11-05 16:06:22 -06:00
codecov.jl	Deprecate CodeCov for Codecov	2018-11-05 16:06:22 -06:00
coveralls.jl	Simplify internal API	2018-09-28 16:45:38 -05:00
githubpages.jl	Use "dev" instead of "latest" to link GitHub pages	2019-01-25 23:29:56 -08:00
gitlabci.jl	Simplify internal API	2018-09-28 16:45:38 -05:00
travisci.jl	Fix Documenter tests	2018-12-19 13:48:07 -06:00