Loading ...
Sorry, an error occurred while loading the content.

Re: Typo in if_pyth.txt.

Expand Messages
  • Bram Moolenaar
    ... Typical case of write only text. Thanks for the correction. -- TIM: Too late. ARTHUR: What? TIM: There he is! [They all turn, and see a large
    Message 1 of 2 , Feb 3, 2013
    • 0 Attachment
      Yukihiro Nakadaira wrote:

      > Here is typo.
      >
      > diff -r 30b3b1da0350 runtime/doc/if_pyth.txt
      > --- a/runtime/doc/if_pyth.txt Thu Jan 31 21:09:15 2013 +0100
      > +++ b/runtime/doc/if_pyth.txt Sun Feb 03 17:59:44 2013 +0900
      > @@ -385,7 +385,7 @@
      >
      > *:py3* *:python3*
      > The |:py3| and |:python3| commands work similar to |:python|. A simple
      > check
      > -if the `:py3` command is wrong: >
      > +if the `:py3` command is working: >
      > :py3 print("Hello")
      > < *:py3file*
      > The |:py3file| command works similar to |:pyfile|.

      Typical case of "write only" text. Thanks for the correction.

      --
      TIM: Too late.
      ARTHUR: What?
      TIM: There he is!
      [They all turn, and see a large white RABBIT lollop a few yards out of the
      cave. Accompanied by terrifying chord and jarring metallic monster noise.]
      "Monty Python and the Holy Grail" PYTHON (MONTY) PICTURES LTD

      /// Bram Moolenaar -- Bram@... -- http://www.Moolenaar.net \\\
      /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\
      \\\ an exciting new programming language -- http://www.Zimbu.org ///
      \\\ help me help AIDS victims -- http://ICCF-Holland.org ///

      --
      --
      You received this message from the "vim_dev" maillist.
      Do not top-post! Type your reply below the text you are replying to.
      For more information, visit http://www.vim.org/maillist.php

      ---
      You received this message because you are subscribed to the Google Groups "vim_dev" group.
      To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscribe@....
      For more options, visit https://groups.google.com/groups/opt_out.
    Your message has been successfully submitted and would be delivered to recipients shortly.