From 775711401627372c9457588c15d35c63310abc10 Mon Sep 17 00:00:00 2001 From: Fredrik Ekre Date: Fri, 5 Apr 2019 11:14:19 +0200 Subject: [PATCH] Use Documenter 0.22.2. --- docs/Manifest.toml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/docs/Manifest.toml b/docs/Manifest.toml index 163d4ed..e47b970 100644 --- a/docs/Manifest.toml +++ b/docs/Manifest.toml @@ -50,12 +50,10 @@ uuid = "ffbed154-4ef7-542d-bbb7-c09d3a79fcae" version = "0.7.0" [[Documenter]] -deps = ["Base64", "DocStringExtensions", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "REPL", "Unicode"] -git-tree-sha1 = "c14469f5a9c4d6db4c9421de9c8a3858cea41bef" -repo-rev = "fe/source-file" -repo-url = "https://github.com/JuliaDocs/Documenter.jl.git" +deps = ["Base64", "DocStringExtensions", "InteractiveUtils", "JSON", "LibGit2", "Logging", "Markdown", "Pkg", "REPL", "Random", "Test", "Unicode"] +git-tree-sha1 = "11ba1460e7429eddc2a71f912cd5b9a66fbd8cf5" uuid = "e30172f5-a6a5-5a46-863b-614d45cd2de4" -version = "0.22.1" +version = "0.22.2" [[FixedPointNumbers]] deps = ["Test"]