<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

</head>

<body bgcolor="#ffffff" text="#000000">

Rui Miguel Silva Seabra ha scritto:

<blockquote id="mid_20081020130945_GB9125_roque_1407_org"

 cite="mid:20081020130945.GB9125@roque.1407.org" type="cite">

  <pre wrap="">On Mon, Oct 20, 2008 at 01:33:20PM +0200, Fabian Henze wrote:

  </pre>

  <blockquote id="StationeryCiteGenerated_1" type="cite">

    <pre wrap="">On 20.10.2008 at 12:00:36, Rui Miguel Silva Seabra wrote:

    </pre>

    <blockquote id="StationeryCiteGenerated_2" type="cite">

      <pre wrap="">On Mon, Oct 20, 2008 at 01:37:33AM +0200, Fabian Henze wrote:

      </pre>

      <blockquote id="StationeryCiteGenerated_3" type="cite">

        <pre wrap="">As it seems popular these days to publish a custom version of the rotate

program, I am also going to do it.

        </pre>

      </blockquote>

      <pre wrap="">heh, you could've just sent a patch :)

      </pre>

    </blockquote>

    <pre wrap="">Then I would have to write in your style, which I am not used to :p

    </pre>

  </blockquote>

  <pre wrap=""><!---->

It would be easier than fixing the indent in order to join the patch and

have you as a co-author :)

I'm not prickly about any style, that's just my default and it's

manually done.

If someone can cookup indent recipes for converting between one and

another I'd gladly use it to facilitate integration :)</pre>

</blockquote>

"man indent"? ;)<br>

<br>

</body>

</html>