diff contrib/debugshell.py @ 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 844f72885fb9
children 11b8b740d54a
line wrap: on
line diff