diff auto/make @ 7497:10db363fcf57

release-1.15.12 tag
author Maxim Dounin <mdounin@mdounin.ru>
date Tue, 16 Apr 2019 17:54:59 +0300
parents 2d9ab7717e23
children 38c0898b6df7 f0110b3663b7
line wrap: on
line diff