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