Added prettyprinter-configurable-1.22.0.0

From https://github.com/intersectmbo/plutus at dd2badf9be56bdd3fed05a69660ffc05f40a28a8
IntersectMBO · Feb 22, 2024 · ef29d6a · ef29d6a
1 parent 8a4b42b
commit ef29d6a
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_sources/prettyprinter-configurable/1.22.0.0/meta.toml b/_sources/prettyprinter-configurable/1.22.0.0/meta.toml
@@ -0,0 +1,3 @@
+timestamp = 2024-02-22T12:23:54Z
+github = { repo = "intersectmbo/plutus", rev = "dd2badf9be56bdd3fed05a69660ffc05f40a28a8" }
+subdir = 'prettyprinter-configurable'