asami 4a1e91b17b Change ${ENV} -> ${SETENV}. The former coincides with startup file
names of bash et al.

Submitted by:	Thomas Gellekum <thomas@ghpc8.ihf.rwth-aachen.de>
1996-04-07 08:34:21 +00:00
..
1996-04-06 08:36:30 +00:00
1996-01-31 13:53:01 +00:00
1995-11-03 14:51:45 +00:00
1996-01-31 13:53:01 +00:00
1995-12-01 20:13:42 +00:00
1996-03-30 12:22:30 +00:00
1996-04-02 16:15:32 +00:00
1995-09-30 15:33:08 +00:00
1994-05-30 19:09:18 +00:00