diff auto/options @ 6969:92a5bbb7c727 stable-1.12

Stable branch.
author Maxim Dounin <mdounin@mdounin.ru>
date Wed, 12 Apr 2017 16:42:30 +0300
parents 4d874b4d82ed
children 0bb747b2d7cb
line wrap: on
line diff