[GRASS-git] [OSGeo/grass] 32dee3: allow to overwrite command history (#272)

[Stefan Blumentrath]

  Branch: refs/heads/releasebranch_7_8
  Home:   https://github.com/OSGeo/grass
  Commit: 32dee3a308108a64b6e48eb0e6eff52846975a17
      https://github.com/OSGeo/grass/commit/32dee3a308108a64b6e48eb0e6eff52846975a17
  Author: Stefan Blumentrath <stefan.blumentrath at gmx.de>
  Date:   2020-01-16 (Thu, 16 Jan 2020)

  Changed paths:
    M lib/python/script/vector.py

  Log Message:
  -----------
  allow to overwrite command history (#272)