log docs/make.jl @ 851:0ef00e1426b1 feature/setup_documenter

age author description
Fri, 14 Jan 2022 13:49:00 +0100 Jonatan Werpers Change name of top page in sidebar feature/setup_documenter
Fri, 14 Jan 2022 13:41:47 +0100 Jonatan Werpers Better default build location feature/setup_documenter
Fri, 14 Jan 2022 11:56:18 +0100 Jonatan Werpers Use two folders for local and webserver builds feature/setup_documenter
Fri, 14 Jan 2022 09:59:41 +0100 Jonatan Werpers Implement flag to controll pretty urls feature/setup_documenter
Fri, 14 Jan 2022 09:01:12 +0100 Jonatan Werpers Initial setup of Documenter.jl feature/setup_documenter