Re: Minus and plus font issue?

[Enrico Forestieri]

On Sat, Sep 08, 2007 at 10:36:51AM +0200, Jürgen Spitzmüller wrote:

> Enrico Forestieri wrote:
> > Jürgen, Ok for branch, too?
> 
> Yes, OK.

Applied.

-- 
Enrico