commit f9c4728a60d771bbac3c8fd765853e8afadcef2e parent 9ebe772400ad30d3df0b9ee5ebdef5e018dc7d94 Author: Anders Damsgaard <anders@adamsgaard.dk> Date: Mon, 29 Oct 2018 08:40:04 +0100 Merge pull request #9 from fredrikekre/fe/documenter Remove unnecessary Documenter dependency. Diffstat:
M | REQUIRE | | | 1 | - |
1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/REQUIRE b/REQUIRE @@ -1,4 +1,3 @@ julia 1.0 WriteVTK -Documenter JLD2