Revert PPRint changes

odersky · odersky · commit 43bf127b3612 · 2024-07-26T20:31:24.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
