view scripts/__init__.py @ 6:376f3371c311

Save all unsaved buffers before building.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 24 Sep 2020 22:54:02 -0700
parents 5d2c0db51914
children
line wrap: on
line source