From 94852f0ace6db3942d10d292fe4b655bacfe7177 Mon Sep 17 00:00:00 2001 From: JuliaRegistrator Date: Tue, 4 Jul 2023 11:28:18 +0000 Subject: [PATCH] New version: PlutoExtras v0.7.5 UUID: ed5d0301-4775-4676-b788-cf71e66ff8ed Repo: https://github.com/disberd/PlutoExtras.jl.git Tree: 4df3a485d53900720b052b3dc30225ed5ab4204b Registrator tree SHA: f73a20c99934db92a256057d0d83ba394036a701 --- P/PlutoExtras/Versions.toml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/P/PlutoExtras/Versions.toml b/P/PlutoExtras/Versions.toml index 2febe2bc59dc09f..a32c4da77ec5ab3 100644 --- a/P/PlutoExtras/Versions.toml +++ b/P/PlutoExtras/Versions.toml @@ -18,3 +18,6 @@ git-tree-sha1 = "3a05ee8f9b1a17fc3b406d37c087d88ef3437886" ["0.7.4"] git-tree-sha1 = "15e75e48e51416d33bab70943923a62a0b63f137" + +["0.7.5"] +git-tree-sha1 = "4df3a485d53900720b052b3dc30225ed5ab4204b"