declare some variables in init.c instead of runtime startoff
authorceriel <none@none>
Tue, 3 May 1988 12:44:32 +0000 (12:44 +0000)
committerceriel <none@none>
Tue, 3 May 1988 12:44:32 +0000 (12:44 +0000)
commite40b7407d56a0d5ded4f5894bc9da23aaa4ca4e4
treec1ca5836b669ba5aa2d2f6ea150af5c2f85ff19f
parent781a1218a5fd9802c171e6cdf3b3225aabbef808
declare some variables in init.c instead of runtime startoff
lang/m2/libm2/head_m2.e
lang/m2/libm2/init.c