Added prettyprinter-configurable-1.34.0.0

From https://github.com/IntersectMBO/plutus at 200ad0ffe59f841b6cae82995d5f080ba71aab0d
IntersectMBO · Sep 10, 2024 · 9e0f711 · 9e0f711
1 parent e434a84
commit 9e0f711
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/prettyprinter-configurable/1.34.0.0/meta.toml b/_sources/prettyprinter-configurable/1.34.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-09-10T13:49:28Z
+github = { repo = "IntersectMBO/plutus", rev = "200ad0ffe59f841b6cae82995d5f080ba71aab0d" }
+subdir = 'prettyprinter-configurable'