log .hgignore @ 920:740314733098 bugfix/normal_derivative_sign

age author description
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:01:12 +0100 Jonatan Werpers Initial setup of Documenter.jl feature/setup_documenter