diff hgrc/hgignore @ 439:f1f95a19fffe

Adjust the font size.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 29 Apr 2018 22:11:27 -0700
parents f2b1eae0432b
children b7eb9c9bd3b4
line wrap: on
line diff