patch 8.1.0451: Win32 console: keypad keys don't work commit https://github.com/vim/vim/commit/2bc152ab53c4b01072edf6ec2ff61e504cb03cbe Author: Bram Moolenaar <Bram@vim.org> Date: Wed Oct 3 20:44:20 2018 +0200 patch 8.1.0451: Win32 console: keypad keys don't work Problem: Win32 console: keypad keys don't work. Solution: Use numbers instead of characters to avoid the value becoming negative. (Mike Williams)

" Print py3 interface version and write the result into if_ver.txt.
" For Ubuntu. Part 2.

redir! >> if_ver.txt
if 1
  echo "\nPython 3:"
  python3 import sys; print(sys.version)
  echo "\n"
endif
redir END