Added more shell options.
[profile.git] / kill_known_host
2006-08-17 Iain PattersonAdded kill_known_host script and completion.