Added prettyprinter-configurable-1.35.0.0

From https://github.com/IntersectMBO/plutus at 384997b4f395c984685a10a8317c7f729c37ff26
IntersectMBO · Oct 7, 2024 · 3d99ea3 · 3d99ea3
1 parent dfe2b9f
commit 3d99ea3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/prettyprinter-configurable/1.35.0.0/meta.toml b/_sources/prettyprinter-configurable/1.35.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-10-07T08:25:01Z
+github = { repo = "IntersectMBO/plutus", rev = "384997b4f395c984685a10a8317c7f729c37ff26" }
+subdir = 'prettyprinter-configurable'