Added prettyprinter-configurable-1.35.0.0

From https://github.com/IntersectMBO/plutus at 384997b4f395c984685a10a8317c7f729c37ff26
IntersectMBO · Oct 5, 2024 · 569f047 · 569f047
1 parent b273679
commit 569f047
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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'