# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 967546094 0
# Node ID 074828b159a69f2b5a26c72ba6c3c6b9fc23cd46
# Parent  8929101e0c90fd4f81cbd71b2f80f1c25cde8ee4
Eliminated.

diff -r 8929101e0c90 -r 074828b159a6 etc/ps-prin3.ps
--- a/etc/ps-prin3.ps	Tue Aug 29 10:37:38 2000 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-% === BEGIN ps-print prologue 3
-% version: 5.2.2
-
-% --- duplex feature verification
-UseSetpagedevice
-{BMark/Duplex DuplexValue/Tumble TumbleValue EMark setpagedevice}
-{statusdict begin DuplexValue setduplexmode TumbleValue settumble end}ifelse
-
-% === END ps-print prologue 3