2 Commits

Include renames

Author	SHA1	Message	Date
Jeffrey Finkelstein	bfdbf59646	pr: use 72 char line width for all page headers ... Set the default line width to 72 for all page headers in `pr`, regardless of whether a custom date format is being used. Before, a single space was used to separate the three components of the header (date, filename, and page number) if a custom date format was not given.	2026-01-04 18:36:33 -05:00
Tilak PatidarandMax Semenik	f497fb9d88	pr: read from stdin	2021-03-26 14:11:14 +03:00