7u83 a307e8da44 Sets some more options now		2020-07-23 20:49:04 +00:00
..
setenv.sh.erb	Sets some more options now	2020-07-23 20:49:04 +00:00