From 569f04796bfb8ef75ecd087779d353051ff4a88b Mon Sep 17 00:00:00 2001 From: Ramsay Taylor Date: Sat, 5 Oct 2024 08:08:57 +0100 Subject: [PATCH] Added prettyprinter-configurable-1.35.0.0 From https://github.com/IntersectMBO/plutus at 384997b4f395c984685a10a8317c7f729c37ff26 --- _sources/prettyprinter-configurable/1.35.0.0/meta.toml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_sources/prettyprinter-configurable/1.35.0.0/meta.toml b/_sources/prettyprinter-configurable/1.35.0.0/meta.toml index 9c31b9e7a..6ca9b7c2a 100644 --- a/_sources/prettyprinter-configurable/1.35.0.0/meta.toml +++ b/_sources/prettyprinter-configurable/1.35.0.0/meta.toml @@ -1,3 +1,3 @@ -timestamp = 2024-10-04T14:52:46Z -github = { repo = "IntersectMBO/plutus", rev = "1.35.0.0" } +timestamp = 2024-10-05T07:08:51Z +github = { repo = "IntersectMBO/plutus", rev = "384997b4f395c984685a10a8317c7f729c37ff26" } subdir = 'prettyprinter-configurable'