[0/4] Misc patches

Message

Wei Liu May 13, 2019, 1:47 p.m. UTC

Wei Liu (4):
  gitignore: ignore .vscode directory
  public/tmem.h: fix version number in comment
  README: document that `python` is required
  INSTALL: remove duplicate sentence

 .gitignore                | 1 +
 INSTALL                   | 1 -
 README                    | 4 ++++
 xen/include/public/tmem.h | 2 +-
 4 files changed, 6 insertions(+), 2 deletions(-)