diff auto/options @ 7741:f0110b3663b7

Configure: style.
author Maxim Dounin <mdounin@mdounin.ru>
date Tue, 10 Nov 2020 17:13:14 +0300
parents 45e9281c6c5b
children 4a69fec53b2f 0875101c08f7
line wrap: on
line diff