From 3016d81136821fcfb5f17f561e83d8029c85c0ba Mon Sep 17 00:00:00 2001 From: Registrator Date: Wed, 9 Aug 2023 18:43:49 +0530 Subject: [PATCH] New version: DocumentationGenerator v0.7.2 (#89332) UUID: 8f0d3306-d70b-5309-b898-24bb6ab47850 Repo: https://github.com/JuliaDocs/DocumentationGenerator.jl.git Tree: f105e64accb66dc1a51efcdd30ec4bd033c8fd5a Registrator tree SHA: 7242ef64be5953fac9bf8b3efa3a7c4d2d44ca09 Co-authored-by: JuliaHubRegistrator --- D/DocumentationGenerator/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/D/DocumentationGenerator/Versions.toml b/D/DocumentationGenerator/Versions.toml index 79697f45c46d418..0449ed7ca29cb9b 100644 --- a/D/DocumentationGenerator/Versions.toml +++ b/D/DocumentationGenerator/Versions.toml @@ -135,3 +135,6 @@ git-tree-sha1 = "ede3ca343e7a45a2997411ba48100dc790c49f57" ["0.7.1"] git-tree-sha1 = "5868358fb6c7bd11e08a9802876013a40cc64431" + +["0.7.2"] +git-tree-sha1 = "f105e64accb66dc1a51efcdd30ec4bd033c8fd5a"