<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#ffffff" text="#000000">
    Il 25/12/2011 18:32, Anita Graser ha scritto:
    <blockquote
cite="mid:CAFFV8Fgr75uUv40c5E9rRpjWzOWP9ZpOQ3rx_pNFWr_VmwrutA@mail.gmail.com"
      type="cite"><br>
      <div><font>I think both approaches are fine but we should get rid
          of this kind of redundancy. </font><font><br>
        </font></div>
    </blockquote>
    +1<br>
    <pre class="moz-signature" cols="72">-- 
Paolo Cavallini
See: <a class="moz-txt-link-freetext" href="http://www.faunalia.it/pc">http://www.faunalia.it/pc</a></pre>
  </body>
</html>