diff .hgtags @ 7147:a3a2dc51f0d6

pullrequest: avoid unnecessary text Less text is easier/fast to read.
author domruf <dominikruf@gmail.com>
date Wed, 19 Oct 2016 23:36:01 +0200
parents 9b9258f5e2b2
children 08fbf0562fa5
line wrap: on
line diff