tech-userlevel archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

Re: Removing /usr/share/misc/operator? or operator(7)?

> I think we should try to refrain from posting opinions without reasons, as
> it rarely helps the original poster decide the correct answer. Bernd, why
> do you think we should keep both copies?
Perhaps because you might not know there's operator(7) and are used to refer
to the file in /usr/share? Because you haven't installed the man pages?

Home | Main Index | Thread Index | Old Index