view scripts/gui/.oct-config @ 31215:5573b1d511c9

maint: Merge stable to default.
author Markus Mützel <markus.muetzel@gmx.de>
date Tue, 30 Aug 2022 11:16:55 +0200
parents 02b97abbc6fc
children
line wrap: on
line source

encoding=utf-8