Jordan K. Hubbard 1d1872d38d Remove my previous changes - this is handled better elsewhere ... I guess, though I'm still nonplussed that it didn't seem to do me any good.		1995-10-11 10:28:59 +00:00
..
bash	Ok, if anybody really needs bash_builtins.1 (which is almost	1995-10-04 20:39:50 +00:00
bash1	Ok, if anybody really needs bash_builtins.1 (which is almost	1995-10-04 20:39:50 +00:00
bash2	Ok, if anybody really needs bash_builtins.1 (which is almost	1995-10-04 20:39:50 +00:00
bash3	Ok, if anybody really needs bash_builtins.1 (which is almost	1995-10-04 20:39:50 +00:00
es
pdksh
rc
tcsh	Remove my previous changes - this is handled better elsewhere	1995-10-11 10:28:59 +00:00
zsh	Edit /etc/shells. Closes PR ports/727.	1995-10-06 05:54:55 +00:00
zsh-devel	Edit /etc/shells. Closes PR ports/727.	1995-10-06 05:54:55 +00:00
Makefile