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