Revert PPRint changes

odersky · odersky · commit d5047b2325a6 · 2024-07-26T16:56:13.000+02:00
Hopefully we don't need them anymore
diff --git a/community-build/community-projects/PPrint b/community-build/community-projects/PPrint
@@ -1 +1 @@
-Subproject commit 34a777f687bc851953e682f99edcae9d2875babc
+Subproject commit 2203dc6081f5e8fa89f552b155724b0a8fdcec03
