(editorial:) reduce diff noise

core-wg · Jul 17, 2023 · 90de46f · 90de46f
1 parent c7bad50
commit 90de46f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -1,3 +1,4 @@
+TEXT_PAGINATION := true
 LIBDIR := lib
 include $(LIBDIR)/main.mk