# HG changeset patch
# User clasohm
# Date 791811134 -3600
# Node ID a5ad535a241ace1316d59d3004de7985143905a9
# Parent  2b7275b13beff00a24ab6dba942d1a54499e3914
added specification of csh as script interpreter

diff -r 2b7275b13bef -r a5ad535a241a src/Tools/runqed
--- a/src/Tools/runqed	Thu Feb 02 13:11:51 1995 +0100
+++ b/src/Tools/runqed	Fri Feb 03 12:32:14 1995 +0100
@@ -1,3 +1,4 @@
+#!/bin/csh
 foreach n (*ML)
 qed $n $n:r.MLL
 mv $n $n:r.bak