Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added -norc option;
authorwenzelm
Mon, 09 Dec 1996 16:40:22 +0100
changeset 2347 a42c1b835fb3
parent 2346 c0165f34e987
child 2348 b51e104ecf40
added -norc option;
lib/scripts/ucat file | annotate | diff | comparison | revisions 
--- a/lib/scripts/ucat	Mon Dec 09 16:39:53 1996 +0100
+++ b/lib/scripts/ucat	Mon Dec 09 16:40:22 1996 +0100
@@ -1,8 +1,8 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #
-# ucat - uninterruptible cat
+# ucat - uninterruptible cat.
 #
 # NOTE: If perl is unavailable we simply fall back on normal cat!
isabelle