diff .hgtags @ 29572:d86b54d9bb0c

paper: make different blocks of annotated lines have different colors
author Anton Shestakov <av6@dwimlabs.net>
date Sat, 16 Jul 2016 14:49:07 +0800
parents e26385329c53
children 59a0cbd71921
line wrap: on
line diff