diff contrib/check-config.py @ 42160:9e40c5892714

chistedit: use context manager to set verbose ui I'm still not exactly sure why this is necessary -- perhaps setting it unconditionally would leak this setting in chg invocations. Regardless, this would have looked very out of place as compared to how this setting is done everywhere else, so at least for the sake of style, let's be consistent with the rest of the codebase.
author Jordi Gutiérrez Hermoso <jordigh@octave.org>
date Tue, 16 Apr 2019 13:12:21 -0400
parents 595a67a301ee
children 2372284d9457
line wrap: on
line diff