diff gentests.py @ 1577:69d624271cf8

Persist config on exit if config has changed
author Michael Pavone <pavone@retrodev.com>
date Tue, 01 May 2018 19:11:37 -0700
parents 188a60def81f
children f6ee0df6bb48
line wrap: on
line diff