# HG changeset patch
# User wenzelm
# Date 850118647 -3600
# Node ID e965156e84e3ffaa086ce88a69154bd327663258
# Parent  00db792beb4e1ea4afcf169267d2b3cd2b5ff9fd
added -norc option;

diff -r 00db792beb4e -r e965156e84e3 lib/Tools/getenv
--- a/lib/Tools/getenv	Mon Dec 09 09:03:52 1996 +0100
+++ b/lib/Tools/getenv	Mon Dec 09 09:04:07 1996 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #
diff -r 00db792beb4e -r e965156e84e3 lib/Tools/installfonts
--- a/lib/Tools/installfonts	Mon Dec 09 09:03:52 1996 +0100
+++ b/lib/Tools/installfonts	Mon Dec 09 09:04:07 1996 +0100
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -norc
 #
 # $Id$
 #