#! /bin/sh # $Id$ exec diff -up "$@"