log .hgignore @ 1873:3dd453015f7d

age author description
Wed, 25 Jan 2023 13:05:15 +0100 Jonatan Werpers Ignore the tune file tooling/benchmarks
Wed, 25 Jan 2023 12:52:09 +0100 Jonatan Werpers Add run_and_view script tooling/benchmarks
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