# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 960392313 0
# Node ID bb81eb902e0c50b7ab5cd00e7979d4f7b9a0ca57
# Parent  a6ce0d37c2cf3b3a2deff98a06e35651682a6b6c
Insert a version number comment (5.2.2).

diff -r a6ce0d37c2cf -r bb81eb902e0c etc/ps-prin2.ps
--- a/etc/ps-prin2.ps	Wed Jun 07 15:38:19 2000 +0000
+++ b/etc/ps-prin2.ps	Wed Jun 07 15:38:33 2000 +0000
@@ -1,4 +1,5 @@
 % === BEGIN ps-print prologue 2
+% version: 5.2.2
 
 % ---- These lines must be kept together because...