> The problem was due to the fact that in branch
> there are both delim.xbm and delim.xpm and everything was converted
> to png, such that one of the two files was lost.

Thanks for investigating and fixing.

regards Uwe

Reply via email to