Re: [XBoard-devel] mime types

[h.g. muller]

Well, rename them anyway you think right, then. As Arun has already pushed 
everything to Savannah,
it makes little sense for me to do it in hgm.nubati.net.