diff .hgignore @ 35207:d210723b73e5

lock: use configint for 'ui.timeout' config The ui object can do the conversion itself.
author Boris Feld <boris.feld@octobus.net>
date Wed, 29 Nov 2017 21:00:02 -0500
parents bd8875b6473c
children 964212780daf
line wrap: on
line diff