![](https://seccdn.libravatar.org/avatar/8b52a96c17a60eb8befeff5fbbe59cf4.jpg?s=120&d=mm&r=g)
4 Jul
2017
4 Jul
'17
05:44
On Mon, Jul 3, 2017 at 3:00 PM, Carlos E. R. <robin.listas@telefonica.net> wrote:
hat? What is that? :-?
'hat' is either a brilliant and little known TexLive installation control system ... or a typo for 'that'... -- Roger Oberholtzer -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org