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

<html>

  <head>

    <meta content="text/html; charset=ISO-8859-1"

      http-equiv="Content-Type">

    <title></title>

  </head>

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

    On 10/09/2011 00:56, Octavian Voicu wrote:

    <blockquote

cite="mid:CAM0=5Gvffja9ogkxFLAS=WEnfeaDSgRYOrcCg=pkxgw_m39_DQ@mail.gmail.com"

      type="cite">

      <div class="gmail_quote">2011/9/9 Frédéric Delanoy <span

          dir="ltr"><<a moz-do-not-send="true"

            href="mailto:frederic.delanoy@gmail.com">frederic.delanoy@gmail.com</a>></span><br>

        <blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt

          0.8ex; border-left: 1px solid rgb(204, 204, 204);

          padding-left: 1ex;">

          <div id=":g">Patch is OK, but for consistency, shouldn't the

            externals be put at<br>

            the start of wcmdmain.c, just after the inbuilt[][]10]?<br>

            This way, you could see directly which command is built-in,

            and which<br>

            is external.</div>

        </blockquote>

      </div>

      <br>

      + make it static const, since it's not used outside of builtins.c.

      <div><br>

      </div>

      <div>Octavian</div>

      <div><br>

      </div>

    </blockquote>

    That's true in that case but the list will go to another file. I

    sent a patch for that.<br>

    <br>

    Christian<br>

  </body>

</html>