# HG changeset patch
# User wenzelm
# Date 883763251 -3600
# Node ID 78eda600f35dc0cb472fe2fac16e31285a0e3694
# Parent  6de428eac512a94940f0dc988a7ee46c38474bb8
obsolete;

diff -r 6de428eac512 -r 78eda600f35d lib/scripts/ucat
--- a/lib/scripts/ucat	Fri Jan 02 18:40:30 1998 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,7 +0,0 @@
-#!/bin/bash
-#
-# $Id$
-#
-# ucat - uninterruptible cat.
-
-exec tee -i /dev/null "$@"